Skip to content

damast93/cdcalculus

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

CD-Calculus

The CD calculus is a simple first-order programming language, which can construct and match pairs and call functions

s,t ::= x | () | (s,t) | f t | let x = s in t | match (x,y) = s in t 

Such terms can be interpreted semantically in every CD category. We provide a simple compiler from CD calculus terms to morphisms, as represented in the proof assistant Chyp. We can then use Chyp to visualize and simplify these morphisms as string diagrams.

Chyp Example

About

A compiler from the CD calculus to chyp

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published