ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-15 11:56:18 +03:00
Code Issues Projects Releases Wiki Activity
fdbee50df3
Idris-dev/main
History
Jan de Muijnck-Hughes fdbee50df3 Command line option improvements. 
+ Added new flag `--checkpkg <package>` to type check only packages.
   + executables are not linked
+ Improved usage info styling
+ Added unmentioned flags added
2014-01-16 14:41:24 +00:00
..
Main.hs Command line option improvements. 2014-01-16 14:41:24 +00:00