https://github.com/phadej/unsatisfiable

Unsatisfiable type-class
https://github.com/phadej/unsatisfiable

Last synced: about 5 hours ago
JSON representation

Unsatisfiable type-class

• Host: GitHub
• URL: https://github.com/phadej/unsatisfiable
• Owner: phadej
• License: bsd-3-clause
• Created: 2021-05-28T20:06:29.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-10-12T23:19:20.000Z (about 3 years ago)
• Last Synced: 2024-10-11T23:53:31.263Z (26 days ago)
• Language: Haskell
• Size: 33.2 KB
• Stars: 4
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • License: LICENSE

Awesome Lists containing this project