search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
222 stars 11 forks source link

consider implementing liquid types #749

Open johnynek opened 3 years ago

johnynek commented 3 years ago

https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf

this could be very powerful when combined with #735

johnynek commented 2 years ago

possibly using: https://github.com/epfl-lara/inox

or directly using princess: http://www.philipp.ruemmer.org/princess.shtml

johnynek commented 5 months ago

or possibly using: https://github.com/regb/cafesat

having a SAT and/or SMT solver at some point will be useful.