Topic

Algebraic Effects

1 items across the graph — tagged with Algebraic Effects.

From the graph · 1

aallan/vera

Vera: a programming language designed for LLMs to write

Related topics

verification 1 parser 1 contracts 1 llm 1 formal-verification 1 programming-language 1 algebraic-effects 1 webassembly 1

Search Algebraic Effects →All topics →