Idris-dev/samples
2017-12-04 13:31:58 -05:00
..
effects Remove deprecated calls to return 2016-09-29 19:24:38 +02:00
misc Fix 'interp' sample 2017-03-17 15:57:38 +00:00
ST Fixed readSecret to correctly read store 2017-10-15 19:15:37 +01:00
tutorial Remove long-deprecated abstract 2017-12-04 13:31:58 -05:00