Giters

mak / refunctionalization

experiments with refunctionalization, morphisms and lambda calculus

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

experiments with refunctionalization, morphisms and lambda calculus

Languages

Language:Scheme 70.9%Language:Haskell 29.1%