search

justinlubin / cobbler

Refactor programs to use library functions!
5 stars 0 forks source link

Remove product types and expressions #27

Closed justinlubin closed 1 year ago

justinlubin commented 1 year ago

Encode with datatype instead; will need to add support for data constructors to have arbitrarily many components.

justinlubin commented 1 year ago

Completed by #34.