Custom uninterpreted functions - Githubissues

alcides / aeon

Aeon programming language

https://alcides.github.io/aeon/

8 stars 3 forks source link

Custom uninterpreted functions #8

Closed alcides closed 1 year ago

alcides commented 1 year ago

This branch adds support for user-defined uninterpreted functions

TODO List:

Flatten curried arguments to uncurried SMT functions.
Build more complex examples