dependently typed, purely functional programming language and proof assistant
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
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).