FirstOrderDeepEmbedding

Copyright © 2020 Steven Obua

License: MIT License

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