Test

This is a test page :P

Agda

module finally where

import stlc
import extra

Markdown

This is bold text

This is italic text

Strikethrough

Quotes look like this

Code blocks (not highlighting yet):

main :: IO ()
main = putStrLn "Hello"

We also have lists:

• Agda
• Lean 4
• Rocq

Numbered lists:

1. Final Fantasy
2. NieR