Literate Agda source code file (Q130240299)
Jump to navigation
Jump to search
file format
- Literate Agda source
- Literate Agda file
- Literate Agda file format
Language | Label | Description | Also known as |
---|---|---|---|
English | Literate Agda source code file |
file format |
|
Statements
1 reference
text/x-literate-agda
1 reference
lagda
1 reference