Skip to content
Prototype functional programming language with refinement types, powered by Inox
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
project
src/main/scala/oxid
.gitignore
LICENSE
README.md
build.sbt

README.md

Oxid

Simple functional programming language with refinement types, powered by Inox.

Crafted for my Refine your types! talk at the Formal Methods and Verified Software meetup.

Disclaimer

This is just a prototype, and should not be taken as a proper basis for implementing a language with refinement types. Bug reports or pull requests are very welcome though!

License

Oxid is released under the BSD3 license.

You can’t perform that action at this time.