aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory (follow)
Commit message (Expand)AuthorAgeFilesLines
* Added support for saturation arithmetic.Eduardo Julian2022-11-251-0/+4
* Fixed test suite.Eduardo Julian2022-08-121-0/+5
* Extracted property-based testing machinery into its own module.Eduardo Julian2022-08-101-47/+51
* First-class programs instead of having a "lux program" extension.Eduardo Julian2022-07-091-0/+2
* Better syntax for invoking super methods inside overriden methods.Eduardo Julian2022-06-141-0/+5
* Properly handling variance for arrays to avoid invalid subtyping.Eduardo Julian2022-04-041-2/+3
* Can now add type-vars to imported procedures from scripting languages.Eduardo Julian2022-03-141-0/+4
* Dusting off the pure-Lux JVM compiler machinery.Eduardo Julian2021-12-242-4/+6
* Ruby compilation that is better adjusted to both normal Ruby and MRuby.Eduardo Julian2021-11-291-0/+1
* Fixed packaging issue.Eduardo Julian2021-10-091-0/+1
* Enabled compile-time code evaluation (i.e. "eval" function).Eduardo Julian2021-08-191-0/+1
* Now allowing compilers to generate custom-named outputs.Eduardo Julian2021-07-173-0/+6
* Re-named "spec" hierarchy to "specification".Eduardo Julian2021-07-154-0/+10
* Made the "try" macro into a common one, instead of a host-specific one.Eduardo Julian2021-07-101-0/+4
* Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian2021-05-185-0/+67