Arc Forumnew | comments | leaders | submitlogin
1 point by akkartik 5054 days ago | link | parent

Thanks, this led me to discover http://us.metamath.org/mpegif/mmset.html and your implementation of the on lisp examples in arc (http://github.com/fabienhinault/olarc)