about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/lci
AgeCommit message (Expand)AuthorFilesLines
2021-01-24treewide: fix double quoted strings in meta.descriptionvolth1-1/+1
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-2/+2
2015-05-28Don't use "with licenses;" for single licencesTobias Geerinckx-Rice1-1/+1
2012-05-01Adding LCI lambda calculus interpreter Michael Raskin1-0/+16