Package: wnpp Severity: wishlist Owner: Kristoffer H Rose <[email protected]>
* Package name : beluga Version : 0.8.2 Upstream Author : Brigitte Pientka <[email protected]> * 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
