.agda

Agda dependently-typed proof language source, plain text

Syntax highlighted

Format facts

MIME type: text/x-agda
Apple UTI: custom
Stock Quick Look: shown as plain text
Planned approach (census): syntax-highlight
Icon hint: generic-icon
Prevalence: rare

Renderer note (from the census)

pure Go trivial