https://github.com/natserract/thinking-withtypes

Learn from Book "Thinking with Types: Type-Level Programming in Haskell" https://thinkingwithtypes.com/
https://github.com/natserract/thinking-withtypes

Last synced: about 23 hours ago
JSON representation

Learn from Book "Thinking with Types: Type-Level Programming in Haskell" https://thinkingwithtypes.com/

• Host: GitHub
• URL: https://github.com/natserract/thinking-withtypes
• Owner: natserract
• License: bsd-3-clause
• Created: 2022-04-12T04:02:13.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2022-04-23T10:07:16.000Z (over 3 years ago)
• Last Synced: 2025-08-17T13:26:44.228Z (about 2 months ago)
• Language: Haskell
• Homepage:
• Size: 18.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Thinking with types - Haskell

Learn from Book **Thinking with Types: Type-Level Programming in Haskell**, 

Book Author: Sandy Maguire

Source: [https://thinkingwithtypes.com/](https://thinkingwithtypes.com/)