3001: Well-typed interpreter
5003: Literate source and string processing
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
13011: record projection and update
14012: various error regressions
17015: verified binary adder
19017: mutually recursive totality checking
20018: Message passing concurrency (raw form)
22regxxx: various regression tests
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list