Skip to content

Actions: matthew-healy/untitled-programming-language-project

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add test case for type mismatch in annotated let Rebase & test #23: Commit 1dbfadd pushed by matthew-healy
November 20, 2023 20:29 5m 0s trunk
trunk
November 20, 2023 20:29 5m 0s
Implement annotated let binding syntactic sugar Rebase & test #22: Commit 2b64e61 pushed by matthew-healy
November 20, 2023 19:55 7m 22s trunk
trunk
November 20, 2023 19:55 7m 22s
Use function arg types in typechecking Rebase & test #21: Commit 21148e8 pushed by matthew-healy
October 14, 2023 18:55 6m 31s trunk
trunk
October 14, 2023 18:55 6m 31s
Fix clippy issues Rebase & test #20: Commit 19a7788 pushed by matthew-healy
October 4, 2023 09:33 6m 23s trunk
trunk
October 4, 2023 09:33 6m 23s
Improve test naming Rebase & test #19: Commit 6c003d3 pushed by matthew-healy
October 2, 2023 09:00 5m 57s trunk
trunk
October 2, 2023 09:00 5m 57s
Implement bidirectional typechecker Rebase & test #18: Commit 093d762 pushed by matthew-healy
October 2, 2023 08:45 4m 21s trunk
trunk
October 2, 2023 08:45 4m 21s
Rename quickcheck axiom tests Rebase & test #17: Commit 00790aa pushed by matthew-healy
September 30, 2023 23:36 6m 49s trunk
trunk
September 30, 2023 23:36 6m 49s
Treat App as single-arg in AST Rebase & test #16: Commit 8f85bdd pushed by matthew-healy
September 29, 2023 21:17 6m 15s trunk
trunk
September 29, 2023 21:17 6m 15s
Intern variable names Rebase & test #15: Commit a33475d pushed by matthew-healy
September 27, 2023 21:31 7m 27s trunk
trunk
September 27, 2023 21:31 7m 27s
Intern variable names Rebase & test #14: Commit be73a9c pushed by matthew-healy
September 27, 2023 21:17 5m 58s trunk
trunk
September 27, 2023 21:17 5m 58s
Document single-arg lambda design in ADR Rebase & test #13: Commit 443dd6f pushed by matthew-healy
September 26, 2023 20:32 6m 25s trunk
trunk
September 26, 2023 20:32 6m 25s
Use single-arg lambdas in the AST Rebase & test #12: Commit 5e475a5 pushed by matthew-healy
September 26, 2023 20:25 6m 4s trunk
trunk
September 26, 2023 20:25 6m 4s