Skip to content

Actions: toaq/kuna

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow run results
22 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Surface-level parsing of object incorporation Check types and formatting #22: Commit 21fb9ed pushed by lynn
August 10, 2023 17:49 35s main
main
August 10, 2023 17:49 35s
Document and clean up the unification algorithm Check types and formatting #21: Commit 321826c pushed by robintown
August 10, 2023 01:50 34s main
main
August 10, 2023 01:50 34s
Add comments to toaq.ne Check types and formatting #20: Commit cab17b4 pushed by lynn
August 9, 2023 13:41 26s main
main
August 9, 2023 13:41 26s
Add animacy presuppositions Check types and formatting #19: Commit a667e36 pushed by robintown
August 8, 2023 17:58 32s main
main
August 8, 2023 17:58 32s
Denote ditransitive verbs Check types and formatting #18: Commit 9eb63f9 pushed by robintown
August 8, 2023 17:18 41s main
main
August 8, 2023 17:18 41s
Render new animacy constants Check types and formatting #17: Commit b108bb3 pushed by robintown
August 8, 2023 16:14 34s main
main
August 8, 2023 16:14 34s
Very rough preperatory work for dealing with bindings Check types and formatting #16: Commit b86fed5 pushed by robintown
August 8, 2023 16:11 26s main
main
August 8, 2023 16:11 26s
Don't regard constant and variable names as clashing Check types and formatting #15: Commit 36240ab pushed by robintown
August 3, 2023 20:09 28s main
main
August 3, 2023 20:09 28s
Implement Crel composition Check types and formatting #14: Commit 07e59ed pushed by robintown
August 3, 2023 19:49 31s main
main
August 3, 2023 19:49 31s
Use the right composition rule for 𝘷0 Check types and formatting #13: Commit 4096fce pushed by robintown
August 3, 2023 18:24 29s main
main
August 3, 2023 18:24 29s
Handle 𝘷0 in denotations Check types and formatting #12: Commit 30ccc1c pushed by robintown
August 3, 2023 18:22 31s main
main
August 3, 2023 18:22 31s
Denote non-covert tenses Check types and formatting #11: Commit 0dcc039 pushed by robintown
August 3, 2023 02:02 35s main
main
August 3, 2023 02:02 35s
Denote non-covert aspects Check types and formatting #10: Commit 47d083d pushed by robintown
August 3, 2023 01:28 43s main
main
August 3, 2023 01:28 43s
Annotate tree diagrams with types Check types and formatting #9: Commit a14b571 pushed by robintown
August 2, 2023 22:31 33s main
main
August 2, 2023 22:31 33s
Port denotation over to new expression model Check types and formatting #8: Commit 188bb89 pushed by robintown
August 2, 2023 05:11 29s main
main
August 2, 2023 05:11 29s
Make quantifier constructors easier to use Check types and formatting #7: Commit 23d76f9 pushed by robintown
July 27, 2023 14:03 39s main
main
July 27, 2023 14:03 39s
Simplify types and add constructor functions Check types and formatting #6: Commit 827e333 pushed by robintown
July 27, 2023 01:35 36s main
main
July 27, 2023 01:35 36s
Add rendering functions for new expression model Check types and formatting #5: Commit df077a7 pushed by robintown
July 25, 2023 21:28 34s main
main
July 25, 2023 21:28 34s
Don't draw dangling lines on functional heads Check types and formatting #4: Commit b426e3e pushed by robintown
July 23, 2023 19:24 33s main
main
July 23, 2023 19:24 33s
Fix the example CLI command Check types and formatting #3: Commit 3b7351a pushed by robintown
July 23, 2023 18:10 30s main
main
July 23, 2023 18:10 30s
Use esbuild-runner instead of ts-node Check types and formatting #2: Commit ed55e88 pushed by robintown
July 23, 2023 18:08 34s main
main
July 23, 2023 18:08 34s
Enable CI for types and formatting Check types and formatting #1: Commit 027a4ad pushed by robintown
July 23, 2023 17:46 33s main
main
July 23, 2023 17:46 33s