typelits-witnesses v0.2.1.0

« Changelog History

typelits-witnesses v0.2.1.0 Release Notes

• 🚀 https://github.com/mstksg/typelits-witnesses/releases/tag/v0.2.1.0

  • Added "eliminators", a staple of dependently typed programming, for NatList and SymbolList.

• All Versions
• Previous v0.2.0.0
• Next v0.2.2.0
• Latest Version