Geeks
polarity-lang
/
polarity
A Language with Dependent Data and Codata Types
Primary Language
Rust
Apache License 2.0
Apache-2.0
polarity Home Page
polarity GitHub
Markdown
Readme
88
Issues
47
Stargazers
2
Watchers
Watchers
BinderDavid
Universität Tübingen
ozf
Software Square, Byte Town, Logicstate, Computronia