Beluga-lang

Beluga-lang

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
210 Stars
21 Forks
210 Watchers

Repositories (1)

Beluga Beluga-lang/Beluga OCaml

Contextual types meet mechanized metatheory!

210