bosatsu consider implementing liquid types

consider implementing liquid types

Open johnynek opened this issue 3 years ago • 2 comments

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

this could be very powerful when combined with #735

Jun 10 '21 19:06 johnynek

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

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

Aug 03 '21 03:08 johnynek