aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/dependent.md (unfollow)
Commit message (Expand)AuthorFilesLines
2022-08-10Extracted property-based testing machinery into its own module.Eduardo Julian1-47/+51
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 Julian1-0/+1
2021-07-15Re-named "spec" hierarchy to "specification".Eduardo Julian1-0/+1
2021-05-18Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian1-0/+2
2021-02-07Mo' updates, less problems.Eduardo Julian1-0/+4
2020-12-04Re-named old luxc-jvm to lux-bootstrapper.Eduardo Julian1-0/+1
2020-12-02Test for Aedifex's "auto" command.Eduardo Julian1-0/+1
2020-10-31Re-named the directory for my bookmarks to better reflect what they are.Eduardo Julian1-0/+0
2020-05-10Now properly loading the cached definitions.Eduardo Julian1-0/+1
2019-09-07Modified compiler's machinery to use the new abstractions for descriptors and...Eduardo Julian1-0/+4
2019-07-24Small improvements here and there.Eduardo Julian1-0/+38