git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
d2cec77..master
compare
c1d200d
Added always/Given as a non boolean equivalent for oh/so
Jan Bessai
14 years ago
75e5a39
Converted Preorder and Poset to typeclasses
Jan Bessai
14 years ago
fb9af01
Read from standard input
Benjamin Saunders
14 years ago
ca7d80a
Basic solver working
Benjamin Saunders
14 years ago
5d22c3e
Merge branch 'ImprovedReflection'
Jan Bessai
14 years ago
newer commits
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