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

Install

Edit opam file

Authors

Maintainers

  1. F
    fferre8@cs.cmgill.ca

Sources

beluga-0.5-20130207.tar.gz
md5=27ca78189f8e5e4346e4850c2faa4bd0

Description

Published: 21 Nov 2013

Dependencies (7)

  1. ounit
  2. omake
  3. ulex
  4. extlib-compat
  5. extlib
  6. ocamlfind
  7. ocaml < "4.02.0"

Dev Dependencies

    None

Used by

    None

Conflicts

    None