Skip to content

Improve variables - #16

Merged
jacobneu merged 24 commits into
mainfrom
improveVariables
Apr 6, 2026
Merged

Improve variables#16
jacobneu merged 24 commits into
mainfrom
improveVariables

Conversation

@jacobneu

@jacobneu jacobneu commented Apr 6, 2026

Copy link
Copy Markdown
Owner

Finally implemented some long-desired features

  • Elaborator typechecking
  • Use of state monad for elaboration process, to give good error messages for ill-formed expressions
  • Syntax for grouping multiple arguments of the same type

Closes #8
Closes #9
Closes #10

jacobneu added 24 commits March 19, 2026 18:19
…fixed some existing errors there and in Cat)
…lgString and DAlgString to accept new GATdata defn
@jacobneu
jacobneu merged commit 1e47ae4 into main Apr 6, 2026
0 of 2 checks passed
@jacobneu
jacobneu deleted the improveVariables branch April 6, 2026 20:07
@jacobneu
jacobneu restored the improveVariables branch May 7, 2026 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant