aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Expand)AuthorFilesLines
2018-04-05- Implemented some math functions in pure Lux, to reduce the needs of the com...Eduardo Julian1-14/+97
2018-02-24- Removed the "root2" and "root3" host procedures (their functionality is red...Eduardo Julian5-32/+14
2018-02-11- Some improvements to protocol-based objects.Eduardo Julian2-68/+151
2018-02-11- Added initial implementation of protocol-based object-oriented programming.Eduardo Julian6-9/+213
2018-02-11- Re-named lux/type/object to lux/type/object/interface.Eduardo Julian4-3/+3
2018-02-07- Fixed tests in stdlib.Eduardo Julian10-87/+95
2018-02-07- Small additions.Eduardo Julian3-12/+42
2018-02-07- Improved the way exceptions work.Eduardo Julian25-150/+221
2018-01-30- Small refactorings.Eduardo Julian6-33/+44
2018-01-30- Implemented semaphores, mutexes and barriers.Eduardo Julian8-23/+320
2018-01-16- Added sub-structural types (for synchronous IO and asynchronous Promise).Eduardo Julian2-0/+233
2018-01-16- Added indexed/parameterized monads.Eduardo Julian1-0/+61
2018-01-04- Fixed inference involving existentials.Eduardo Julian1-3/+4
2018-01-03- Small refactorings.Eduardo Julian8-23/+27
2018-01-03- Removed lux/control/transform for now...Eduardo Julian1-465/+0
2018-01-02- Added functor, applicative, monad and co-monad implementations.Eduardo Julian1-109/+310
2018-01-02- Made transformer state internal to the transformers.Eduardo Julian1-175/+161
2018-01-02- Simplified transformation steps.Eduardo Julian1-73/+60
2018-01-02- Added lux/macro.log-type macro for easier debugging.Eduardo Julian1-1/+21
2018-01-02- Initial implementation of transforms.Eduardo Julian1-0/+291
2017-12-31- Added region-based resource management.Eduardo Julian4-2/+249
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian3-1/+100
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian3-1/+100
2017-12-31- Added bit-sets.Eduardo Julian10-42/+309
2017-12-28- A small, in-development module for doing constructive mathematics with some...Eduardo Julian3-0/+255
2017-12-28- Added quotient types.Eduardo Julian2-1/+70
2017-12-25- Added module for predicates.Eduardo Julian10-36/+158
2017-12-24- Minor refactorings and bug fixes.Eduardo Julian7-185/+224
2017-12-24- Added type-safe modular arithmetic.Eduardo Julian4-5/+324
2017-12-12- Agent-based concurrency is just actors listening to FRP channels, so specia...Eduardo Julian3-179/+0
2017-12-12- FRP channels are no longer asynchronously-built lists, but rather mediums f...Eduardo Julian8-562/+326
2017-12-10- Some minor refactoring.Eduardo Julian12-195/+217
2017-12-10- Some minor refactoring.Eduardo Julian5-182/+138
2017-12-05- WIP: Caching.Eduardo Julian3-11/+30
2017-12-05- Brought luxc and new-luxc closer together.Eduardo Julian8-207/+136
2017-12-05- Added analysis, synthesis, translation and statement extensions.Eduardo Julian2-18/+25
2017-12-04- No longer using BufferedReader for console input.Eduardo Julian1-24/+51
2017-12-04- lux/world/file now works with Process, instead of Task.Eduardo Julian2-125/+133
2017-12-04- No longer deleting type-vars in luxc, to better match it with the type-chec...Eduardo Julian8-141/+124
2017-12-04- Implemented unit types on top of abstract types.Eduardo Julian3-44/+36
2017-12-04- Re-named "Def" to "Definition".Eduardo Julian7-103/+103
2017-12-03- Added location information to syntax errors.Eduardo Julian1-1/+4
2017-12-03- Fixed some small issues uncovered by new-luxc.Eduardo Julian5-13/+16
2017-12-02- Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian5-46/+52
2017-12-02- "gensym" went back to producing Code, instead of Ident.Eduardo Julian19-268/+258
2017-12-02- Added context-sensitive macro-expansion by means of "lux in-module", and re...Eduardo Julian27-348/+236
2017-12-02- Added new "lux in-module" procedure for changing the module while analysing...Eduardo Julian1-7/+13
2017-12-01- Changed some of the syntax for macro templating.Eduardo Julian31-731/+739
2017-12-01- Made it so that module annotations can only be set once now.Eduardo Julian1-2/+2
2017-12-01- Changed the way test durations are shown.Eduardo Julian1-1/+1