aboutsummaryrefslogtreecommitdiff
path: root/source/program.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2015-09-02- Added a new (albeit small) I/O library with host-dependent functions.Eduardo Julian1-12/+18
2015-09-01- Added a macro to write recursive types.Eduardo Julian1-15/+14
2015-08-28Changed the license from EPL to MPL.Eduardo Julian1-7/+4
2015-08-04- Renamed the Syntax type to AST.Eduardo Julian1-2/+3
2015-08-03Implemented text-interpolation through a macro ("<>") in lux/data/textEduardo Julian1-3/+4
2015-08-02- Added a module for hashing.Eduardo Julian1-0/+1
2015-07-31- Did some refactoring of the standard library.Eduardo Julian1-14/+17
2015-07-29- lux;using no longer prefixes variables.Eduardo Julian1-5/+5
2015-07-26- Changed the name of lux/host/java to lux/host/jvmEduardo Julian1-1/+1
2015-07-26- Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian1-1/+1
2015-07-25- The output directory is now being used as the cache.Eduardo Julian1-1/+1
2015-07-19- Added a few more modules.Eduardo Julian1-1/+3
2015-07-19Added copyright notice on all files that missed it.Eduardo Julian1-0/+8
2015-07-19- Some bug fixes.Eduardo Julian1-10/+20
2015-07-12- Added the beginnings of the standard library.Eduardo Julian1-13/+26
2015-06-20- The directory for source-code is now named "input".Eduardo Julian1-1/+1
2015-05-27- _jvm_program now relies on the (IO (,)) type.Eduardo Julian1-4/+1
2015-05-22- Corrected the indentation issues in the lux files.Eduardo Julian1-4/+4
2015-05-14- Removed the apparently unnecessary total-locals.Eduardo Julian1-1/+1
2015-05-10- Switched to the new prefix convention for both lux's special forms and the ...Eduardo Julian1-5/+5
2015-05-10- Now analysing function-application backwards.Eduardo Julian1-3/+3
2015-05-04- Added the LuxVar type to properly specify the type of environment bindings.Eduardo Julian1-0/+6
2015-05-04- Added alias-lux to import lux.lux definitions.Eduardo Julian1-0/+12