git.iko.soy/Idris-dev
on a12ecc2 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Added a 'boredom threshold' to the evaluator If it takes too long (probably because it's evaluating a non-terminating function) just returns the input. This is hopefully temporary until the totality checker works better... Idris/Fix parser bug: whitespace now allowed at the top of modules Main.hs:addproof knows about .lidr files