git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
db306ca
help
sign in
Idris-dev
/
libs
/
base
8 folders, 4 files
../
Control/
Fix parameter propagation
13 years ago
Data/
Merge branch 'master' into FunctionChains
13 years ago
Debug/
Add documentation in new format for various libs
13 years ago
Decidable/
Congruence over a single function instead of all functions
13 years ago
Language/
Add support for reflecting ByReflection
13 years ago
Network/
Added Network.Sockets
13 years ago
Syntax/
Add syntax for Agda-style reasoning over preorders
13 years ago
System/
Remove | annotation, make Force/Delay implicit
13 years ago
Makefile
Fix .PHONY targets in Makefiles
13 years ago
Providers.idr
Add documentation in new format for various libs
13 years ago
System.idr
Add documentation in new format for various libs
13 years ago
base.ipkg
Add Uninhabited to Prelude
13 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