git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/totality004
4 files
../ expectedUpdate test for totality warnings runChange guardedness check for new-style coinduction totality004.idrChange guardedness check for new-style coinduction totality004a.idrChange guardedness check for new-style coinduction