Giters
con-kitty

con-kitty

Geek Repo

Github PK Tool:Github PK Tool

con-kitty's repositories

categorifier

Interpret Haskell programs into any cartesian closed category.

Language:HaskellLicense:BSD-3-ClauseStargazers:57Issues:5Issues:31

categorifier-c

Haskell to C compiler via Categorifier

Language:HaskellLicense:BSD-3-ClauseStargazers:27Issues:2Issues:21

concat

Compiling to Categories

Language:HaskellLicense:NOASSERTIONStargazers:3Issues:0Issues:0