git.iko.soy/Idris-dev
on 14955ff 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/Added infinite list syntax [1..], [1,3,...] etc (But it doesn't work at the REPL yet because that doesn't respect 'lazy' annotations properly) Main.hs:addproof knows about .lidr files