https://github.com/guicho271828/trivialib.type-unify

Unification library aimed specifically for the "polymorphic type specifiers" with type variables
https://github.com/guicho271828/trivialib.type-unify

Last synced: 29 days ago
JSON representation

Unification library aimed specifically for the "polymorphic type specifiers" with type variables

• Host: GitHub
• URL: https://github.com/guicho271828/trivialib.type-unify
• Owner: guicho271828
• Created: 2015-07-08T04:49:05.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2020-02-29T19:54:34.000Z (almost 5 years ago)
• Last Synced: 2024-10-15T14:10:36.605Z (3 months ago)
• Language: Common Lisp
• Homepage:
• Size: 20.5 KB
• Stars: 4
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project