/exp_encodings

Experiments in expressiveness of various styles of representation in the contexts of interpretation, type checking, and theorem proving.

Primary LanguageHaskell

No issues in this repository yet.