summaryrefslogtreecommitdiff
path: root/doc/todo/type-level_trivial_avoidance.mdwn
AgeCommit message (Collapse)Author
2015-12-05Added UncheckedProperty type, along with unchecked to indicate a Property ↵Joey Hess
needs its result checked, and checkResult and changesFile to check for changes.