git.iko.soy/Idris-dev
on 3cb1f21 help sign in
history oftest/test017/expected
all commits
57c8657Added column name to sourceAhmad Salim Al-Sibahi 11dbfc0Correct totality check of f=f, and add regression testEdwin Brady 9affb75Totality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possibleEdwin Brady f8920a0Deal with higher order recursive arguments in size change graphsEdwin Brady