Uncurry Casing for STLC to Geb Compilation

anoma / geb

A Categorical View of Computation

https://anoma.github.io/geb/

GNU General Public License v3.0

28 stars 10 forks source link

Closed agureev closed 1 year ago

agureev commented 1 year ago

Changes the case-on case for the to-cat function so that it does not use curry. Fixes a type annotation error in the compiler.

mariari commented 1 year ago

I do get correct answers with case-on now which is nice