A Verso Blog
Here's an example blog.
def test : Nat := 3
Now we have another test:
#eval y
unknown identifier 'y'
hmm Inline Nat.
A Section with a Label
How do I use a label? 3.
It contains things.
Hi therE!
This should be an SVG:
Here's an example blog.
def test : Nat := 3
Now we have another test:
#eval y
unknown identifier 'y'
hmm Inline Nat.
How do I use a label? 3.
It contains things.
Hi therE!
This should be an SVG: