index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lc
/
Internals.lc
Age
Commit message (
Expand
)
Author
2016-05-04
implement constraint kinds
Péter Diviánszky
2016-05-02
use (:) instead of Cons everywhere
Péter Diviánszky
2016-02-19
speedup: tweak max de bruijn handling
Péter Diviánszky
2016-02-19
tuples are heterogeneous lists
Péter Diviánszky
2016-02-15
put trace info in .out files
Péter Diviánszky
2016-02-07
refactoring
Péter Diviánszky
2016-02-07
try again to move injectivity checking into the libraries
Péter Diviánszky
2016-02-05
try to switch to megaparsec
Péter Diviánszky
2016-02-04
bugfix & improvements
Péter Diviánszky
2016-02-04
more complete Component instances
Péter Diviánszky
2016-02-03
more uniform handling of literals
Péter Diviánszky
2016-02-02
try to speed up parseTerm
Péter Diviánszky
2016-01-27
first try to move wired-in constraint reductions into the library
Péter Diviánszky
2016-01-27
refactoring: use less STyped
Péter Diviánszky
2016-01-22
support more pattern literals
Péter Diviánszky
2016-01-20
refactoring; more prim reductions; begin to strengthten type annotations
Péter Diviánszky
2016-01-19
move fromInt to Internals
Péter Diviánszky
2016-01-13
begin to use a more general equality constraint
Péter Diviánszky
2016-01-13
install lambdacube prelude as package data
Andor Penzes