summaryrefslogtreecommitdiff
path: root/src/Propellor/Types/OS
AgeCommit message (Expand)Author
2016-03-08simplifyJoey Hess
2016-03-08make it a type error to intersect two OS lists if the result is emptyJoey Hess
2016-03-08fixed it!Joey Hess
2016-03-08simplfyJoey Hess
2016-03-08initial type-level OS listJoey Hess