Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/ReubenHillyard/beta

Dependently-typed programming language.
https://github.com/ReubenHillyard/beta

cubical-type-theory dependent-types homotopy-type-theory programming-language

Last synced: 3 months ago
JSON representation

Dependently-typed programming language.

Awesome Lists containing this project

README

        

# beta
A dependently-typed programming language, aiming to support safe mutable state and a cubical interpretation of univalence.