Agda-2.6.2.2.20221106: A dependently typed functional programming language and proof assistant
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Agda.Interaction.Highlighting.Dot
Documentation
dotBackend
::
Backend
Source
#