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.