0.1-SNAPSHOT

A snapshot of the version demonstrated at SMC in Lyon, 2014, in my talk entitled "Opetopic Diagrams as a Language for Higher Categorical Proofs."