Repository

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

Project Slug

beluga-lang

Last Built

2 months, 1 week ago passed

Maintainers

Home Page

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

Badge

Tags

ocaml, dependent-types, hoas, lf, beluga

Short URLs

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

Default Version

latest

'latest' Version

master