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