Repository

https://github.com/Beluga-lang/Beluga.git

Project Slug

beluga-lang

Last Built

3 months, 4 weeks ago failed

Maintainers

Home Page

http://complogic.cs.mcgill.ca/beluga

Badge

Tags

beluga, dependent-types, hoas, lf, ocaml

Short URLs

beluga-lang.readthedocs.io
beluga-lang.rtfd.io

Default Version

latest

'latest' Version

master