Php

  --Hello!

Table of contents

  1. This is a comment
    1. Nested
  2. How to declare...

This is a comment

Nested

      -- This is also a comment
      id : {A : Set} → A → A
      id x = x

How to declare...

D-Case-Agda