eri

Enhanced relative indentation (eri)


Keywords
agda, dependent-types, programming-language, proof-assistant, type-theory
License
Other

Documentation