summary refs log tree commit diff
path: root/pkgs/applications/science/logic/lci/default.nix
Commit message (Expand)AuthorAge
* Adding LCI lambda calculus interpreter Michael Raskin2012-05-01