summaryrefslogtreecommitdiff
path: root/doc/todo/type_level_OS_requirements.mdwn
AgeCommit message (Expand)Author
2016-03-08make it a type error to intersect two OS lists if the result is emptyJoey Hess
2016-03-08more thoughtsJoey Hess
2016-03-07linkJoey Hess
2016-03-07ideaJoey Hess