wchresta 074c9cbe1c idris2: init at version 0.2.0-840e020 ... A purely functional programming language with first class types		2020-05-23 12:54:27 -04:00
..
default.nix	…