on fb3160e help sign in
Idris-dev/test/README
11 lines 353 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
8006: Provisional definitions; class resolution in patterns
9007: Applicative and idiom brackets
10008: case and pattern matching let
11009: ranges and list monad