git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/test/totality023
3 files
../ expectedPay attention to 'Force' in totality checking runPay attention to 'Force' in totality checking totality023.idrPay attention to 'Force' in totality checking