Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2017-01-17 | - Added some type combinators for type constructors. | Eduardo Julian | 1 | -0/+9 | |
2017-01-06 | - Fixed a lot of errors in the documentation. | Eduardo Julian | 1 | -2/+3 | |
2017-01-04 | - Moved the template: macro to the lux module. | Eduardo Julian | 1 | -0/+114 | |
2017-01-02 | - Updated documentation for lux/cli, lux/compiler, lux/codata/*. | Eduardo Julian | 1 | -2/+2 | |
2017-01-02 | - Simple refactorings. | Eduardo Julian | 1 | -82/+178 | |
- Updated documentation of lux module. | |||||
2017-01-01 | - Can make definitions that have meta-data but no type. | Eduardo Julian | 1 | -23/+29 | |
- Added a temporary "fix" to be able to access derived structs from the ::: macro, while a better solution is found. | |||||
2016-12-17 | - Added the type-of macro. | Eduardo Julian | 1 | -14/+24 | |
2016-12-15 | - Updated tests for lux/type. | Eduardo Julian | 1 | -5/+5 | |
- Added tests for lux/type/check and lux/type/auto. | |||||
2016-12-12 | - No longer using record syntax in certain macros. | Eduardo Julian | 1 | -1/+1 | |
2016-12-12 | - Renamed "==" function to "is". | Eduardo Julian | 1 | -3/+3 | |
2016-12-12 | - Small fixes, refactorings and expansions. | Eduardo Julian | 1 | -1/+1 | |
2016-12-04 | - Minor refactorings and expansions. | Eduardo Julian | 1 | -6/+4 | |
2016-12-02 | - Changed the names of math op functions to make them more consistent and ↵ | Eduardo Julian | 1 | -188/+136 | |
similar. | |||||
2016-12-01 | - Collected the Lux compiler's repo, the Standard Library's, the Leiningen ↵ | Eduardo Julian | 1 | -0/+5541 | |
plugin's and the Emacs mode's into a big monorepo, to keep development unified. |