ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-03 11:07:44 +03:00
Code Issues Projects Releases Wiki Activity
5cad739409
nixpkgs/pkgs/development/compilers/idris2
History
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