8 Feb
2002
8 Feb
'02
11:37 a.m.
data CMap0 (p ::: * -> *) (q ::: * -> *) = MkCMap0;
Or data (CMap0 :: (* -> *) -> (* -> *) -> *) = MkCMap0 -- Lennart
8973
Age (days ago)
8973
Last active (days ago)
0 comments
1 participants
participants (1)
-
Lennart Augustsson