Swiftpack.co is a collection of thousands of indexed Swift packages. Search packages.
See all packages published by phlegmaticprogrammer.
phlegmaticprogrammer/FirstOrderDeepEmbedding v0.6.2
Tools for deeply embedding a multi-sorted first-order language in Swift.
⭐️ 0
🕓 3 years ago
.package(url: "https://github.com/phlegmaticprogrammer/FirstOrderDeepEmbedding.git", from: "v0.6.2")
FirstOrderDeepEmbedding 
Copyright (c) 2020 Steven Obua
License: MIT License
Tools for deeply embedding a multi-sorted first-order language in Swift.
GitHub
| link |
| Stars: 0 |
| Last commit: 3 years ago |
Advertisement: IndiePitcher.com - Cold Email Software for Startups
Release Notes
3 years ago
Swiftpack is being maintained by Petr Pavlik | @ptrpavlik | @swiftpackco | API | Analytics