diff options
| -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 ... +"""]] |