GitHub - Paczesiowa/refunctionalization: experiments with refunctionalization, morphisms and lambda calculus

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
draft.txt		draft.txt
histo.hs		histo.hs
para.hs		para.hs
refunctionalization.scm		refunctionalization.scm

About

experiments with refunctionalization, morphisms and lambda calculus

No releases published