-
Notifications
You must be signed in to change notification settings - Fork 18
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.
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
Elimnators and lambda not resugared properly? #132
Comments
Yes, right now a term expanded from a general Same with expanded lambda, it doesnt know if the original term had an annotation or not. A quick fix would be to just add more stx props. But a better way would be to have terms also implement the "type info" that types have (which includes a We'd have to modify Turnstile to have |
I expected
elim
to resugar toelim
, rather thanelim-Nat
. This isn't a huge deal. But also, the lambdas inside the elim ought to have type annotations. That one does reduce readability.The text was updated successfully, but these errors were encountered: