Shiqi Cao wrote:
Check out this
http://www.cas.mcmaster.ca/~kahl/HOPS/
http://www.cas.mcmaster.ca/%7Ekahl/HOPS/
Heh. I was thinking about trying to build something *exactly like* this...
OOC, how the heck did they make it work through a document interface?
Surely that's impossible?
apfelmus wrote:
Yeah, the precise details may vary, even :) But for teaching, an
automatic tool that does graph reduction would be great. I don't mind
if it's sloppy (directly apply definitions pattern matching VS
everything is a lambda abstraction) and only does simply typed lambda
calculus
Hi
Yeah, the precise details may vary, even :) But for teaching, an
automatic tool that does graph reduction would be great. I don't mind
if it's sloppy (directly apply definitions pattern matching VS
everything is a lambda abstraction) and only does simply typed lambda
calculus (no
