Repository
https://github.com/Beluga-lang/Beluga.git
Project Slug
beluga-lang
Last Built
1 month, 4 weeks ago
failed
Maintainers
Home Page
http://complogic.cs.mcgill.ca/beluga
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/beluga-lang/badge/?version=latest
:target: https://beluga-lang.readthedocs.io/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[![Documentation Status](https://readthedocs.org/projects/beluga-lang/badge/?version=latest)](https://beluga-lang.readthedocs.io/en/latest/?badge=latest)
-
HTML
<a href='https://beluga-lang.readthedocs.io/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/beluga-lang/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
beluga,
dependent-types,
hoas,
lf,
ocaml
Short URLs
beluga-lang.readthedocs.io
beluga-lang.rtfd.io
Default Version
latest
'latest' Version
master