3 ms·

You can play around with the language itself here https://polarity-lang.github.io/oopsla24/#ChurchEncodingCodata.pol https://polarity-lang.github.io/oopsla24/#

by msoad 2y ago

You can play around with the language itself here https://polarity-lang.github.io/oopsla24/#ChurchEncodingCodata.pol https://polarity-lang.github.io/oopsla24/#ChurchEncodingCoda...