aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/dependent.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Extracted property-based testing machinery into its own module.Eduardo Julian2022-08-101-47/+51
* Ruby compilation that is better adjusted to both normal Ruby and MRuby.Eduardo Julian2021-11-291-0/+1
* Fixed packaging issue.Eduardo Julian2021-10-091-0/+55