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.
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!
Oxid is released under the BSD3 license.