| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
something close to dependent types.
|
|
|
|
- Added refinement types.
- Small refactorings and fixes.
- Added the capacity to unquote expressions inside the 'lux.type' macro.
|
|
|
|
special support for it was removed.
|
|
- Added some code to "lux.type" so it can handle "lux in-module".
|
|
removed all the (now unnecessary) #hidden tags.
- Fixed a bug when loading the imports from the cache.
- Added special notation for context-sensitive macro-expansion.
|
|
period/dot (.).
|
|
|
|
|
|
|
|
|
|
|
|
- Minor refactoring.
|
|
- Moved lux/type/* under lux/meta/*.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- Added CSS-generation module.
|
|
|
|
- Simplified a lot of polytypism.
|
|
|
|
|
|
lux/data/lazy.
|
|
calculations.
|
|
|
|
|
|
epoch).
|
|
with the relevant signatures.
|
|
finally-tagless approach.
|
|
|
|
- Fixed some bugs.
|
|
|
|
|
|
|