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