New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

cleanup parsing ptrns: #281

Draft

leissa wants to merge 4 commits into master from feature/ptrn

Member

leissa commented Nov 1, 2024

new feature: [ptrn] «x: Nat, T» -> U
better handling of implicit in parser/ast

leissa added 4 commits

November 1, 2024 02:55


          cleanup parsing ptrns:

e702361

* new feature: [ptrn] «x: Nat, T» -> U
* better handling of implicit in parser/ast


          removed backtick

8c5b3f3

* let and ret can simply rebind as in OCaml


          use proper alias pattern instead of [...]::id

8df09f8


          parser: move special handling of axioms from ptrn to let

81121d8

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet