Beluga-lang

Beluga-lang

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
213 Stars
21 Forks
10 Watchers

Repositories (1)

Beluga Beluga-lang/Beluga OCaml

Contextual types meet mechanized metatheory!

213