Softpedia >Mac >  Applications filed under: term rewriting  (1 item)

Apps filed under: term rewriting

  RSS Feed for this tag 1 application totalLast updated: May 11th 2012, 10:44 GMT

     
  • 152 downloads
  • 34.7 MB
Anagopos

Anagopos 2.0.1

Visualize reduction graphs of terms in lambda calculus and term rewriting

May 11th 2012, 10:44 GMT
Mac OS X