Beluga-lang / BelugaLinks

Contextual types meet mechanized metatheory!
189Updated 2 weeks ago

Alternatives and similar repositories for Beluga

Users that are interested in Beluga are comparing it to the libraries listed below

Sorting: