diff options
Diffstat (limited to 'doc/languages-frameworks/agda.section.md')
-rw-r--r-- | doc/languages-frameworks/agda.section.md | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/doc/languages-frameworks/agda.section.md b/doc/languages-frameworks/agda.section.md index 5ba4e285f424..66b4a2083021 100644 --- a/doc/languages-frameworks/agda.section.md +++ b/doc/languages-frameworks/agda.section.md @@ -1,9 +1,4 @@ ---- -title: Agda -author: Alex Rice (alexarice) -date: 2020-01-06 ---- -# Agda +# Agda {#agda} ## How to use Agda |