git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
fbeeb45
help
sign in
Idris-dev
/
lib
8 folders, 8 files
../
Control/
rename fmap to map
13 years ago
Data/
Make coverage checker look inside pairs/dependent pairs Fixes #446
13 years ago
Debug/
Add Debug.Trace
14 years ago
Decidable/
rename fO into fZ
13 years ago
Language/
change traverse on Binder to a Traversable instance
13 years ago
Network/
rename fmap to map
13 years ago
Prelude/
Readd toList as working on any Foldable
13 years ago
System/
rename fmap to map
13 years ago
Builtins.idr
Simplify evaluator It tries to support too much, but since it's part of the kernel it should do as little clever stuff as possible. Now just normalises, simplifies or specialises, the latter two simply meaning that certain names are blocked from being redu…
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
Remove nongeneric sum and product functions
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
Add traverse_ and sequence_ based on Foldable
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