HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.59k stars 142 forks source link

Op2 checking + I64 #605

Closed Lorenzobattistela closed 3 weeks ago

Lorenzobattistela commented 3 weeks ago

This adds I64 type and fixes Op2 type checking.

Note: need to fix the era inside app parsing so that we can write:

main : I64 
= (+ -1 -1)

otherwise it parses the - as era notation