git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
4dddfaf
help
sign in
Idris-dev
/
lib
8 folders, 8 files
../
Control/
rename fmap to map
13 years ago
Data/
Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc
13 years ago
Debug/
Add Debug.Trace
14 years ago
Decidable/
rename fO into fZ
13 years ago
Language/
rename fmap to map
13 years ago
Network/
rename fmap to map
13 years ago
Prelude/
Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc
13 years ago
System/
rename fmap to map
13 years ago
Builtins.idr
Add Num and Show instances for the new(ish) arithmetic types
13 years ago
IO.idr
FTy convenience names for fixed-width ints
13 years ago
Makefile
Remove dynamically loaded RTS due to 32/64-bit issues on OS X
14 years ago
Prelude.idr
Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc
13 years ago
Providers.idr
Clean up implementation of type providers
13 years ago
System.idr
Friendly smart constructors for foreign integer types
13 years ago
Uninhabited.idr
rename fO into fZ
13 years ago
base.ipkg
rename Data.Z into Data.ZZ to avoid name collisions
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