tonyx / CategoricalForms

playing in Fsharp with Venn Diagrams and Categorical Propositions

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CategoricalForms

Some code in F# playing with Venn diagrams and categorical propositions. There is no graphics code. I only have an internal representation of Venn diagrams.

About

playing in Fsharp with Venn Diagrams and Categorical Propositions


Languages

Language:F# 99.9%Language:Forth 0.1%