https://github.com/phadej/agda-np

More programming suited version of All and Any, and other tools I keep reimplementing.
https://github.com/phadej/agda-np

Last synced: about 5 hours ago
JSON representation

More programming suited version of All and Any, and other tools I keep reimplementing.

• Host: GitHub
• URL: https://github.com/phadej/agda-np
• Owner: phadej
• Created: 2022-10-26T12:39:12.000Z (about 2 years ago)
• Default Branch: master
• Last Pushed: 2024-01-08T18:41:40.000Z (10 months ago)
• Last Synced: 2024-10-11T23:53:20.795Z (26 days ago)
• Language: Agda
• Size: 3.91 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project