Table of Contents ▼

Contents

This is a second test Agda Markdown file.

data Nat : Set where
     zero : Nat
     suc : Nat
← Back to Blog