aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/dependent.md (follow)
Commit message (Collapse)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