diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-08 17:19:57 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-08 17:19:57 -0400 |
| commit | 71c29690ee970d1319f8221311b8b5224f1c5397 (patch) | |
| tree | 8a41ea60fbed35e97dd0bb75f847d386291e0f56 /doc | |
| parent | d91b189ceb5f1e264f7c7dcba128f17b7fe0bc20 (diff) | |
comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment b/doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment new file mode 100644 index 00000000..5db7b68b --- /dev/null +++ b/doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment @@ -0,0 +1,12 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 4""" + date="2016-03-08T21:19:01Z" + content=""" +Ok, got intersectSupportedOS fixed. + + *Propellor.Types.OS.TypeLevel> :t (intersectSupportedOS (combineSupportedOS freeBSD debian) debian) + (intersectSupportedOS (combineSupportedOS freeBSD debian) debian) :: OSList '['OSDebian] + +So, the type level OS lists are ready, on to the next step ... eventually ... +"""]] |