Skip to content

Initial and terminal objects in V⁰

Anders Mörtberg requested to merge initial-terminal-v into master

This got much easier with empty⁰ and unit⁰! The PR resolves #4 (closed) and #5 (closed)

Merge request reports