Skip to content
Vinony
English
EnglishDeutschEspañolFrançaisItalianoNederlandsPortuguêsSvenskaРусскийفارسی한국어中文日本語
EntityQ20479· pop 12· linked from 133 articles

Agda

Sign in to save

dependently typed, purely functional programming language and proof assistant

Source code

github.com →

Note that this README is only about Agda, not its standard library. See the [Agda Wiki][agdawiki] for information about the library.

Excerpt from the source-code README · 1,735 chars · not written by Vinony

Available in 12 languages

via Wikidata sitelinks · CC0