Volná monáda: Porovnání verzí

Smazaný obsah Přidaný obsah
první verze
 
m +kategoriie
Řádek 5:
Free f a = Pure a | Free (f (Free f a))
</source>
 
[[Kategorie:Teorie kategorií]]