Repository

https://github.com/moonad/docs.formality-lang.org.git

Project Slug

formality-lang

Last Built

4 years, 5 months ago passed

Maintainers

Home Page

https://github.com/moonad/Formality

Badge

Tags

formality, functional-programming, interaction-combinators, proof-language

Short URLs

formality-lang.readthedocs.io
formality-lang.rtfd.io

Default Version

latest

'latest' Version

master