https://github.com/serras/4languages
Book about Haskell, Clean, Agda and Idris
https://github.com/serras/4languages
Last synced: 5 months ago
JSON representation
Book about Haskell, Clean, Agda and Idris
- Host: GitHub
- URL: https://github.com/serras/4languages
- Owner: serras
- Created: 2012-03-04T18:12:05.000Z (over 14 years ago)
- Default Branch: master
- Last Pushed: 2012-03-04T19:54:06.000Z (over 14 years ago)
- Last Synced: 2025-05-29T11:15:16.567Z (about 1 year ago)
- Homepage:
- Size: 141 KB
- Stars: 11
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README