/FirstOrderDeepEmbedding

Tools for deeply embedding a multi-sorted first-order language in Swift.

Primary LanguageSwiftMIT LicenseMIT

No issues in this repository yet.