9 Feb
2015
9 Feb
'15
2:14 p.m.
Is your design described anywhere? https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies
At the moment some sections of this page are slightly out of date. I have an update prepared but it will go online after the merge. Janek --- Politechnika Łódzka Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.