Repository

https://github.com/GaloisInc/ivory/

Project Slug

ivory-lang

Last Built

7 years, 1 month ago passed

Maintainers

Home Page

http://ivorylang.org

Badge

Tags

embedded, haskell, ivory

Short URLs

ivory-lang.readthedocs.io
ivory-lang.rtfd.io

Default Version

latest

'latest' Version

master