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