Bug#795246: ITP: beluga -- Functional programming language designed for formal reasoning.

[Kristoffer H Rose <krisrose@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Kristoffer H Rose <krisrose@debian.org>

* Package name    : beluga
  Version         : 0.8.2
  Upstream Author : Brigitte Pientka <bpientka@cs.mcgill.ca>
* URL             : http://complogic.cs.mcgill.ca/beluga/
* License         : GPL-3
  Programming Lang: OCaml
  Description     : Functional programming language designed for formal reasoning.

Beluga is a functional programming language designed for reasoning
about formal systems. It features direct support for object-level
binding constructs using higher order abstract syntax and treats
contexts as first class objects.

Beluga is a staple of the program analysis and formalization community,
which I intend to maintain for the community.