lux/source, branch master

- Removed the Lux source from the repo, as it now belongs to the lux/stdlib package.

2015-10-04T23:59:22+00:00

- Removed de Apacke Commons Compress library, as Lux libraries will now be packaged as .jar files instead of as .tar.gz files.
- The compiler no longer packages libraries, as that task will now be left for the build system.

- Changed the license in the project.clj file (had forgotten until now).

2015-09-30T20:44:42+00:00

- Some minor updates to the standard library.
- Some minor bug fixes & improvements.
- program.lux has been removed.

- Returned to old format of type-environments where odds are arguments & evens are quantifiers.

2015-09-29T11:40:29+00:00

- Removed reflection warnings.

2015-09-29T02:25:32+00:00

- Made some improvements to working with object arrays.

- Added a rule that Void is a subtype of every other type.

2015-09-29T01:22:42+00:00

- Added the type-checking rules for existential quantification (ExQ).
- Fixed one of the rules for type-checking universal quantification (UnivQ).

- Added generics support for object field access (getting & setting).

2015-09-28T02:20:31+00:00

- Added generics support for object method invocation.

- Added support for type-checking generic classes.

2015-09-27T22:59:38+00:00

- Added support for instancing generic objects.

- Added support for Java annotations.

2015-09-26T22:10:00+00:00

- Both method declarations & method definitions in classes can now include declarations of which exceptions they throw.

2015-09-26T13:22:21+00:00

- Now the file-name & the line numbers are stored inside the .class files for debug info.

2015-09-16T22:54:38+00:00