ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 06:29:37 +03:00
Code Issues Projects Releases Wiki Activity
bf1a1ef05c
Idris-dev/samples/effects
History
Jan de Muijnck-Hughes 3c53610811 Spun out effects into own sub folder
2015-04-16 09:53:52 +01:00
..
ConsoleIO.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
Exception.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
hworld.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
Makefile Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
Random.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
ReadInt.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
Select.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
TreeTag-noeff.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
TreeTag.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
TreeTagCount.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00
vadd.idr Spun out effects into own sub folder 2015-04-16 09:53:52 +01:00