package beluga

  1. Overview
  2. Docs
A Language for programming and reasoning using Higher-Order Abstract Syntax

Install

Dune Dependency

complogic.cs.mcgill.ca Edit opam file Versions (7)

Authors

  1. B
    Brigitte Pientka and collaborators

Maintainers

  1. F
    fferre8@cs.cmgill.ca

Sources

beluga-0.8.2.tar.gz
sha256=56241b52190a75446ac46a6f35a052ac45abf8a4f9fa63c3772a9e712af98816
md5=1574e030f203792a822c21926c7106f3

Description

Published: 27 Jul 2015

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct