summaryrefslogtreecommitdiff
path: root/doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment
blob: 5db7b68bc87ad1845f2769bbb91763860b4c56f2 (plain)
1
2
3
4
5
6
7
8
9
10
11
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 ...
"""]]