lux - fork of https://github.com/LuxLang/lux for my bookshelf

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Allow giving names to loops that can be used instead of "recur".	Eduardo Julian	2018-05-01	1	-29/+46
\|
*	- Allow underscore separators in the hex, octal and binary encoding macros ↵	Eduardo Julian	2018-05-01	2	-29/+78
\| \| \| \|	for Nat/Int/Deg/Frac.
*	- Can now use resource/substructural types in pure computations.	Eduardo Julian	2018-04-05	2	-33/+41
\|
*	- Improved the syntax for the "lux.function" macro.	Eduardo Julian	2018-04-05	103	-685/+725
\|
*	- Re-named "is" to "is?".	Eduardo Julian	2018-04-05	21	-89/+80
\|
*	- Implemented some math functions in pure Lux, to reduce the needs of the ↵	Eduardo Julian	2018-04-05	1	-14/+97
\| \| \| \|	compiler, and make it easier to port Lux to new backends.
*	- Removed the "root2" and "root3" host procedures (their functionality is ↵	Eduardo Julian	2018-02-24	5	-32/+14
\| \| \| \|	redundant, in the presence of the "pow" procedure).
*	- Some improvements to protocol-based objects.	Eduardo Julian	2018-02-11	2	-68/+151
\|
*	- Added initial implementation of protocol-based object-oriented programming.	Eduardo Julian	2018-02-11	6	-9/+213
\|
*	- Re-named lux/type/object to lux/type/object/interface.	Eduardo Julian	2018-02-11	4	-3/+3
\|
*	- Fixed tests in stdlib.	Eduardo Julian	2018-02-07	10	-87/+95
\|
*	- Small additions.	Eduardo Julian	2018-02-07	3	-12/+42
\|
*	- Improved the way exceptions work.	Eduardo Julian	2018-02-07	25	-150/+221
\|
*	- Small refactorings.	Eduardo Julian	2018-01-30	6	-33/+44
\|
*	- Implemented semaphores, mutexes and barriers.	Eduardo Julian	2018-01-30	8	-23/+320
\| \| \|	- Fixed a bug when checking "last-index-of" for Text.
*	- Added sub-structural types (for synchronous IO and asynchronous Promise).	Eduardo Julian	2018-01-16	2	-0/+233
\|
*	- Added indexed/parameterized monads.	Eduardo Julian	2018-01-16	1	-0/+61
\|
*	- Fixed inference involving existentials.	Eduardo Julian	2018-01-04	1	-3/+4
\|
*	- Small refactorings.	Eduardo Julian	2018-01-03	8	-23/+27
\|
*	- Removed lux/control/transform for now...	Eduardo Julian	2018-01-03	1	-465/+0
\|
*	- Added functor, applicative, monad and co-monad implementations.	Eduardo Julian	2018-01-02	1	-109/+310
\|
*	- Made transformer state internal to the transformers.	Eduardo Julian	2018-01-02	1	-175/+161
\|
*	- Simplified transformation steps.	Eduardo Julian	2018-01-02	1	-73/+60
\|
*	- Added lux/macro.log-type macro for easier debugging.	Eduardo Julian	2018-01-02	1	-1/+21
\|
*	- Initial implementation of transforms.	Eduardo Julian	2018-01-02	1	-0/+291
\|
*	- Added region-based resource management.	Eduardo Julian	2017-12-31	4	-2/+249
\|
*	- Added safe (single-threaded) mutation.	Eduardo Julian	2017-12-31	3	-1/+100
\|
*	- Added bit-sets.	Eduardo Julian	2017-12-31	10	-42/+309
\|
*	- A small, in-development module for doing constructive mathematics with ↵	Eduardo Julian	2017-12-28	3	-0/+255
\| \| \| \|	something close to dependent types.
*	- Added quotient types.	Eduardo Julian	2017-12-28	2	-1/+70
\|
*	- Added module for predicates.	Eduardo Julian	2017-12-25	10	-36/+158
\| \| \| \| \|	- Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
*	- 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
\|
*	- Agent-based concurrency is just actors listening to FRP channels, so ↵	Eduardo Julian	2017-12-12	3	-179/+0
\| \| \| \|	special support for it was removed.
*	- FRP channels are no longer asynchronously-built lists, but rather mediums ↵	Eduardo Julian	2017-12-12	8	-562/+326
\| \| \| \|	for spreading data, that can be chained together to form networks for data distribution.
*	- Some minor refactoring.	Eduardo Julian	2017-12-10	12	-195/+217
\| \| \|	- Eliminated the dependency of STM upon FRP.
*	- Some minor refactoring.	Eduardo Julian	2017-12-10	5	-182/+138
\| \| \| \|	- Eliminated the dependency of actors upon FRP and STM. - Fixed some bugs.
*	- WIP: Caching.	Eduardo Julian	2017-12-05	3	-11/+30
\|
*	- Brought luxc and new-luxc closer together.	Eduardo Julian	2017-12-05	8	-207/+136
\|
*	- Added analysis, synthesis, translation and statement extensions.	Eduardo Julian	2017-12-05	2	-18/+25
\| \| \| \|	- No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.
*	- 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 ↵	Eduardo Julian	2017-12-04	8	-141/+124
\| \| \| \| \|	type-checking in new-luxc. - Fixed some minor bugs and inconsistencies.
*	- 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
\|
*	- Fixed some small issues uncovered by new-luxc.	Eduardo Julian	2017-12-03	5	-13/+16
\|
*	- Added some ~! to some macros to stop them from imposing dependencies.	Eduardo Julian	2017-12-02	5	-46/+52
\| \| \|	- Added some code to "lux.type" so it can handle "lux in-module".
*	- "gensym" went back to producing Code, instead of Ident.	Eduardo Julian	2017-12-02	19	-268/+258
\|
*	- Added context-sensitive macro-expansion by means of "lux in-module", and ↵	Eduardo Julian	2017-12-02	27	-348/+236
\| \| \| \| \| \|	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.