Skip to content

Initial and terminal objects in V⁰

Anders Mörtbergrequested 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