git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
bfa8cc2
help
sign in
Idris-dev
/
test
14 folders, 4 files
../
test001/
added dsl blocks
15 years ago
test002/
More on errors; propagate line numbers
15 years ago
test003/
Build a call graph and only compile things which are used
15 years ago
test004/
Removed semicolons from tests
15 years ago
test005/
Removed semicolons from tests
15 years ago
test006/
Fix library compilation errors and improve name resolution in patterns
15 years ago
test007/
Some prelude shuffling
15 years ago
test008/
Change 'data' and where syntax so that they don't need '|' This breaks old code - instead of
15 years ago
test009/
New RTS almost ready, but for garbage collection problem
14 years ago
test010/
More on errors; propagate line numbers
15 years ago
test011/
Added record test
15 years ago
test012/
Check patterns are inaccessible
15 years ago
test013/
Added binding form to syntax rules (and updated tutorial accordingly)
14 years ago
test014/
Added test file for test014
14 years ago
Makefile
Added test directory and a single test...
15 years ago
README
Added binding form to syntax rules (and updated tutorial accordingly)
14 years ago
mktest.pl
Generate bytecode so that files don't need to be rechecked every time they're loaded
15 years ago
runtest.pl
Added test directory and a single test...
15 years ago
keys
esc 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