git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
5cd7632
help
sign in
Idris-dev
/
lib
8 folders, 8 files
../
Control/
renamed homomorphism to morphism
14 years ago
Data/
Fix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that.
13 years ago
Debug/
Add Debug.Trace
14 years ago
Decidable/
Added always/Given as a non boolean equivalent for oh/so
14 years ago
Language/
Formatting improvements
13 years ago
Network/
Expand integer primitive unification to encompass bigints
13 years ago
Prelude/
New size change graph builder Looks at patterns, rather than case tree, and therefore finds it easier to spot structurally smaller arguments which are more complex.
13 years ago
System/
Friendly smart constructors for foreign integer types
13 years ago
Builtins.idr
Expand integer primitive unification to encompass bigints
13 years ago
IO.idr
javascript: make FFI work with HOFs
13 years ago
Makefile
Remove dynamically loaded RTS due to 32/64-bit issues on OS X
14 years ago
Prelude.idr
Expand integer primitive unification to encompass bigints
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
Added typeclass for uninhabited types
14 years ago
base.ipkg
Fix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that.
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