https://github.com/pt2121/tdd-playground

type-driven development
https://github.com/pt2121/tdd-playground

Last synced: about 1 month ago
JSON representation

type-driven development

• Host: GitHub
• URL: https://github.com/pt2121/tdd-playground
• Owner: pt2121
• License: apache-2.0
• Created: 2016-06-07T22:42:55.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-09-26T01:59:59.000Z (over 8 years ago)
• Last Synced: 2024-10-15T19:07:20.762Z (3 months ago)
• Language: Idris
• Homepage:
• Size: 77.1 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project