aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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