News for hackers. Stuff that matters.
Re:Pyret Programming Language by adsharma on Sunday August 22, 2021 @10:25AM (#28265720)
I'm looking to do something in this general area better than doctests. Looking for collaborators.

http://adsharma.github.io/pysmt

There are no comments on this comment yet.