| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | - A small, in-development module for doing constructive mathematics with some... | Eduardo Julian | 2017-12-28 | 3 | -0/+255 |
| * | - Fixed function application involving existential quantification in the old ... | Eduardo Julian | 2017-12-28 | 1 | -3/+16 |
| * | - Added quotient types. | Eduardo Julian | 2017-12-28 | 2 | -1/+70 |
| * | - Added module for predicates. | Eduardo Julian | 2017-12-25 | 11 | -38/+160 |
| * | - Minor refactorings and bug fixes. | Eduardo Julian | 2017-12-24 | 7 | -185/+224 |
| * | - Added type-safe modular arithmetic. | Eduardo Julian | 2017-12-24 | 4 | -5/+324 |
| * | - Updated .gitignore. | Eduardo Julian | 2017-12-17 | 1 | -0/+1 |
| * | - Got the tests to run again. | Eduardo Julian | 2017-12-17 | 2 | -21/+18 |
| * | - Added CLI machinery to compiler. | Eduardo Julian | 2017-12-13 | 3 | -39/+75 |
| * | - Agent-based concurrency is just actors listening to FRP channels, so specia... | Eduardo Julian | 2017-12-12 | 3 | -179/+0 |
| * | - FRP channels are no longer asynchronously-built lists, but rather mediums f... | Eduardo Julian | 2017-12-12 | 8 | -562/+326 |
| * | - Some minor refactoring. | Eduardo Julian | 2017-12-10 | 13 | -195/+218 |
| * | - Some minor refactoring. | Eduardo Julian | 2017-12-10 | 5 | -182/+138 |
| * | - WIP: Caching. | Eduardo Julian | 2017-12-05 | 16 | -326/+543 |
| * | - Fixed a bug when analysing empty records. | Eduardo Julian | 2017-12-05 | 1 | -0/+4 |
| * | - Forgot to remove "~@" syntax from lux-mode. | Eduardo Julian | 2017-12-05 | 1 | -1/+1 |
| * | - Brought luxc and new-luxc closer together. | Eduardo Julian | 2017-12-05 | 10 | -330/+259 |
| * | - All analysis procedures have been turned into extensions. | Eduardo Julian | 2017-12-05 | 10 | -95/+88 |
| * | - Added analysis, synthesis, translation and statement extensions. | Eduardo Julian | 2017-12-05 | 14 | -200/+401 |
| * | - No longer using BufferedReader for console input. | Eduardo Julian | 2017-12-04 | 1 | -24/+51 |
| * | - lux/world/file now works with Process, instead of Task. | Eduardo Julian | 2017-12-04 | 2 | -125/+133 |
| * | - No longer deleting type-vars in luxc, to better match it with the type-chec... | Eduardo Julian | 2017-12-04 | 11 | -191/+131 |
| * | - Implemented unit types on top of abstract types. | Eduardo Julian | 2017-12-04 | 3 | -44/+36 |
| * | - Re-named "Def" to "Definition". | Eduardo Julian | 2017-12-04 | 7 | -103/+103 |
| * | - Added location information to syntax errors. | Eduardo Julian | 2017-12-03 | 1 | -1/+4 |
| * | - Improved statement-level macro-expansion. | Eduardo Julian | 2017-12-03 | 1 | -31/+34 |
| * | - Fixed some small issues uncovered by new-luxc. | Eduardo Julian | 2017-12-03 | 5 | -13/+16 |
| * | - Got most of the tests working again. | Eduardo Julian | 2017-12-02 | 10 | -23/+85 |
| * | Merge pull request #42 from LuxLang/context_sensitive_macro_expansion | The Lux Programming Language | 2017-12-02 | 67 | -985/+940 |
| |\ |
|
| | * | - Added some ~! to some macros to stop them from imposing dependencies. | Eduardo Julian | 2017-12-02 | 5 | -46/+52 |
| | * | - "gensym" went back to producing Code, instead of Ident. | Eduardo Julian | 2017-12-02 | 22 | -282/+270 |
| | * | - Added context-sensitive macro-expansion by means of "lux in-module", and re... | Eduardo Julian | 2017-12-02 | 33 | -366/+277 |
| | * | - Added new "lux in-module" procedure for changing the module while analysing... | Eduardo Julian | 2017-12-02 | 4 | -12/+53 |
| | * | - Adjusted new-luxc to new macro-templating syntax. | Eduardo Julian | 2017-12-02 | 17 | -60/+61 |
| | * | - Changed some of the syntax for macro templating. | Eduardo Julian | 2017-12-01 | 32 | -732/+740 |
| |/ |
|
| * | - Fixed path-separator bugs in the Leiningen plugin. | Eduardo Julian | 2017-12-01 | 2 | -17/+20 |
| * | - Now using platform-specific path separators instead of "/". | Eduardo Julian | 2017-12-01 | 1 | -6/+9 |
| * | - Made it so that module annotations can only be set once now. | Eduardo Julian | 2017-12-01 | 5 | -18/+41 |
| * | - Changed the way test durations are shown. | Eduardo Julian | 2017-12-01 | 1 | -1/+1 |
| * | - Got the tests to compile again. | Eduardo Julian | 2017-12-01 | 25 | -1636/+1636 |
| * | - Adapted main codebase to the latest syntatic changes. | Eduardo Julian | 2017-11-29 | 53 | -4543/+4477 |
| * | - Forgot to commit separator change for this file... | Eduardo Julian | 2017-11-29 | 1 | -1/+1 |
| * | - Better logging in Leiningen plugin. | Eduardo Julian | 2017-11-29 | 3 | -93/+95 |
| * | - Re-named lux/type/opaque to lux/type/abstract. | Eduardo Julian | 2017-11-29 | 11 | -53/+53 |
| * | - Changed the identifier separator, from the semi-colon (;) to the period/dot... | Eduardo Julian | 2017-11-29 | 189 | -10057/+10064 |
| * | - Re-named the "." function to "compose" and moved it to lux/function. | Eduardo Julian | 2017-11-28 | 24 | -183/+183 |
| * | - Changed the syntax involved in JVM host-interop. | Eduardo Julian | 2017-11-27 | 12 | -373/+350 |
| * | - Got rid of even more dots. | Eduardo Julian | 2017-11-27 | 75 | -294/+295 |
| * | - Changed the prefixes of numeric functions. | Eduardo Julian | 2017-11-27 | 117 | -1776/+1758 |
| * | - Changed to the new relative imports syntax. | Eduardo Julian | 2017-11-26 | 34 | -223/+223 |
