git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
f52eafd
help
sign in
Idris-dev
/
libs
/
base
8 folders, 4 files
../
Control/
Fix parameter propagation
13 years ago
Data/
Add documentation in new format for various libs
13 years ago
Debug/
Add documentation in new format for various libs
13 years ago
Decidable/
Add documentation in new format for various libs
13 years ago
Language/
New syntax for documentation comments
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