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)
22020: implicit conversions
24022: dynamic C library loading and interpreter IO
25023: trivial (non-I/O) type providers
28026: simple file-I/O-based type provider
29027: class constraints in using block
30028: hello world with comment and block comment syntax in idr file
31029: match_refine and apply by type
32030: %reflection for functions running on syntax
34032: control idris via stdin
35033: null pointer creation and check
36034: presence of floating point primitives in backends
38regxxx: various regression tests
40reg029: executor doesn’t crash receiving a NULL String from C
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