summaryrefslogtreecommitdiff
path: root/lc/Internals.lc
AgeCommit message (Expand)Author
2016-05-04implement constraint kindsPéter Diviánszky
2016-05-02use (:) instead of Cons everywherePéter Diviánszky
2016-02-19speedup: tweak max de bruijn handlingPéter Diviánszky
2016-02-19tuples are heterogeneous listsPéter Diviánszky
2016-02-15put trace info in .out filesPéter Diviánszky
2016-02-07refactoringPéter Diviánszky
2016-02-07try again to move injectivity checking into the librariesPéter Diviánszky
2016-02-05try to switch to megaparsecPéter Diviánszky
2016-02-04bugfix & improvementsPéter Diviánszky
2016-02-04more complete Component instancesPéter Diviánszky
2016-02-03more uniform handling of literalsPéter Diviánszky
2016-02-02try to speed up parseTermPéter Diviánszky
2016-01-27first try to move wired-in constraint reductions into the libraryPéter Diviánszky
2016-01-27refactoring: use less STypedPéter Diviánszky
2016-01-22support more pattern literalsPéter Diviánszky
2016-01-20refactoring; more prim reductions; begin to strengthten type annotationsPéter Diviánszky
2016-01-19move fromInt to InternalsPéter Diviánszky
2016-01-13begin to use a more general equality constraintPéter Diviánszky
2016-01-13install lambdacube prelude as package dataAndor Penzes
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 16:20:31 +0000