]> ruin.nu Git - proglang.git/history - Interpreter.hs
major update of the natural deduction
[proglang.git] / Interpreter.hs
2006-03-01 Michael Andreeninitial commit of interpreter