on 2000a54 help sign in
Idris-dev/test/README
7 lines 196 B history raw
1Tests:
3001: Well-typed interpreter
4002: Universe checking
5003: Literate source and string processing
6004: File operations
7005: Num class resolution [regression]; span & break; ad-hoc overloading