2019-10-12から1日間の記事一覧
def embed project note data Fix f = Fix (f (Fix f )) fix unFix data Free f a = Free (f (Free f a)) | Pure a free unFreenot total sum data Cofree f a = Cofree a (f (Cofree f a) cofreenot total unCofree product
def embed project note data Fix f = Fix (f (Fix f )) fix unFix data Free f a = Free (f (Free f a)) | Pure a free unFreenot total sum data Cofree f a = Cofree a (f (Cofree f a) cofreenot total unCofree product