git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
496cf41
help
sign in
history of
lib/Makefile
all commits
5c9a88a
uppercase modulenames
raichoo
14 years ago
4cec951
Tweak Makefile (install checks too)
Edwin Brady
14 years ago
1e52324
Added simple library packaging system Now used for the prelude (see lib/base.ipkg)
Edwin Brady
14 years ago
e7906ba
Added support/ directory so that library can use C support files
Edwin Brady
15 years ago
463e62a
Some type class bug fixes
Edwin Brady
15 years ago
1effd22
Fix lib/Makefile
Edwin Brady
15 years ago
68194ce
Fix export of record fields
Edwin Brady
15 years ago
12c93ed
Update to Setup,hs (via Dirk Ullrich)
Edwin Brady
15 years ago
4c3fb9b
Another cabal fix
Edwin Brady
15 years ago
a33b4c2
Avoid adding duplicate information to .ibc => quicker load time
Edwin Brady
15 years ago
201ade9
Fixed accessibility bug; added some library functions
Edwin Brady
15 years ago
7f74f91
Fix error handling again in repl
Edwin Brady
15 years ago
2a50169
Added lib/network directory, and network.cgi module
Edwin Brady
15 years ago
d8edff9
Fixed type class resolution bug
Edwin Brady
15 years ago
e06c1c1
Makefile fix (thanks to Dirk Ullrich)
Edwin Brady
15 years ago
ec7c1b8
Get cabal to check library after install
Edwin Brady
15 years ago
dccbc43
Generate bytecode so that files don't need to be rechecked every time they're loaded
Edwin Brady
15 years ago
c997a48
Hierarchical namespaces; reorganised prelude accordingly
Edwin Brady
15 years ago
5528447
Not really mini any more...
Edwin Brady
15 years ago
12bd089
Added lifting of unsolved metavariables to global functions
Edwin Brady
15 years ago
868409a
Small bug fixes
Edwin Brady
15 years ago
f208c49
Library checking
Edwin Brady
15 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