/are-type-systems-easy

Can we make declarative definitons of type systems executable? I sure think so.

Primary LanguageRust

Watchers