git.iko.soy/Idris-dev
on 3cb1f21 help sign in
history oftest/test010/expected
all commits
9aa723eImplicit "module Main" addedEdwin Brady 57c8657Added column name to sourceAhmad Salim Al-Sibahi 54ad219Add size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)Edwin Brady 33baa44More on errors; propagate line numbersEdwin Brady 7fb7decImproved termination check (gets ackermann now, but still no mutual recursive definitions)Edwin Brady de6bb41Added 'total' keyword and positivity checkEdwin Brady