Learn
Documentation
Packages
Community
OPAM on Github
OPAM
Repository
Documentation
Primer
Quick Install
Basic Usage
Specifying Solver Preferences
FAQ
Go Further
Advanced Install
Advanced Usage
Developing
For Packagers
Packaging
OPAM 1.2 BETA
About OPAM
Platform Blog
#
en
beluga
latest 0.5
A Language for programming and reasoning using Higher-Order Abstract Syntax
Maintainer
fferre8@cs.cmgill.ca
Events
Aug 16, 2013
Published
version
0.5