search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Add Uncurry API #107

Closed agureev closed 1 year ago

agureev commented 1 year ago

Adds uncurrying API with some trivial tests for the STLC -> Geb part of the compiler pipeline.

mariari commented 1 year ago

The code all looks good to me. We will need to squash out the merge commit. Also, it would be nice to have a test where the expected answer depends on the parameter of type A -- as far as I can tell, the existing test is just of the function (x, y) -> y.

No the merge commit is important. It shows it's relies on the interpreter and the app-type-inference fix. which makes the graph nice

mariari commented 1 year ago

github shows extra changes because the diff it shows is bad you can preview merge and see that it's good