From 71c29690ee970d1319f8221311b8b5224f1c5397 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 8 Mar 2016 17:19:57 -0400 Subject: comment --- .../comment_4_8d14bbbec4e219015a80f80bf6124181._comment | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment (limited to 'doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment') 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 ... +"""]] -- cgit v1.2.3