summary refs log tree commit diff
path: root/pkgs/applications/science/logic/lci
Commit message (Expand)AuthorAge
* treewide: fix double quoted strings in meta.descriptionvolth2021-01-24
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* Don't use "with licenses;" for single licencesTobias Geerinckx-Rice2015-05-28
* Adding LCI lambda calculus interpreter Michael Raskin2012-05-01