on dc7650d help sign in
Idris-dev/test/README
15 lines 449 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
12010: total
13011: record projection and update
14012: various error regressions
15013: binding syntax