Opam Package beluga.1.0

Package info

opam-namebeluga
opam-version1.0
synopsisImplementation of contextual modal logic for reasoning with higher-order abstract syntax
authors
  • Brigitte Pientka
  • Joshua Dunfield
  • Andrew Cave
  • Jacob Thomas Errington
  • Junyoung Clare Jang
homepagehttps://github.com/Beluga-lang/Beluga
licenseGPLv3
readme-fileREADME.md
deps (7)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

beluga

Package files

lib/beluga/opam
lib/beluga/dune-package
lib/beluga/META
lib/beluga
doc/beluga/README.md
doc/beluga/LICENSE
doc/beluga
bin/replay
bin/parse_check
bin/lex_dump
bin/lex_check
bin/harpoon
bin/beluga