search

Cypher1 / tako

An experimental programming language for ergonomic software verification
https://takolang.dev
MIT License
15 stars 1 forks source link

Stubs for Lower to lambda #376

Closed Cypher1 closed 1 year ago

Cypher1 commented 1 year ago

Working on converting desugared ast to an IR (Llamada which will be an implementation of system F)