This website is out of date, please refer to the site on github.

Posts tagged "jonprl"

Type is not in Type - August 26, 2015
Coinduction in JonPRL for Low Low Prices - July 17, 2015
A Basic Tutorial on JonPRL - July 6, 2015