check out new software, looks very relevant to your interests

rogerburtonpatel / vml

Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.

5 stars 0 forks source link

check out new software, looks very relevant to your interests #9

Closed nrnrnr closed 8 months ago

nrnrnr commented 8 months ago

This afternoon I got a tip on a new interactive interpreter. It looks like it should have a significant impact on your activities. Code is installed on the Halligan servers at

/h/lstran01/Public/bin/adventure

Can you please check it out ASAP?

rogerburtonpatel commented 8 months ago

Wonderful experience. Thanks for the tip.