Package: wnpp Severity: wishlist Owner: Kristoffer H Rose <krisr...@debian.org>
* Package name : beluga Version : 0.8.2 Upstream Author : Brigitte Pientka <bpien...@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. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20150812084216.11555.43512.report...@yoga.krisrose.net
