git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
cb5da0a..master
compare
cea7205
Slightly neater rendering of names generated in where clauses
Edwin Brady
14 years ago
17d2cea
Fix for expansion of types in parameters blocks
Edwin Brady
14 years ago
b939fbd
Merge pull request #91 from raichoo/master
Edwin Brady
14 years ago
0c33cf1
fixed bug in showImp
raichoo
14 years ago
7af45b4
Fix error in case tree optimisation (hence fix issue #70)
Edwin Brady
14 years ago
2856967
Normalise LHS before compilation ...otherwise in some situations the forcing optimisation may lead to uncompilable code
Edwin Brady
14 years ago
4ddbc65
Fix bug in lifting of with clauses Need to make sure _ remains _ on lifting - stray variables were creeping in after 'match'.
Edwin Brady
14 years ago
11d1aa3
Add Prelude.Function to module list in base.ipkg
Edwin Brady
14 years ago
7ee208c
Merge pull request #89 from startling/class-hierarchy
Edwin Brady
14 years ago
809c283
Merge pull request #90 from raichoo/parser
Edwin Brady
14 years ago
ab3931a
Merge pull request #88 from raichoo/vim
Edwin Brady
14 years ago
bbe9dc1
Minor fixes for inlining and integer literals
Edwin Brady
14 years ago
f0794c6
vim: highlight impossible
raichoo
14 years ago
92f3139
eof should close all open blocks
raichoo
14 years ago
40ce0ca
better fixity error message
raichoo
14 years ago
c9e0444
show actual ParseError message
raichoo
14 years ago
77e407e
Functor and Applicative instances for Process.
startling
14 years ago
09615d5
Applicative and Functor instances for CGI.
startling
14 years ago
newer commits
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