4 ms·

https://projects.csail.mit.edu/church/wiki/Church https://projects.csail.mit.edu/church/wiki/Church can be used in the browser via https://probmods.org/play-spa

by hendler 10y ago

https://projects.csail.mit.edu/church/wiki/Church https://projects.csail.mit.edu/church/wiki/Church can be used in the browser via https://probmods.org/play-space.html https://probmods.org/play-space.html