aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/dependent_types.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fixed packaging issue.Eduardo Julian2021-10-091-54/+0
* 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-171-0/+1
* Re-named "spec" hierarchy to "specification".Eduardo Julian2021-07-151-0/+1
* Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian2021-05-181-0/+51