https://github.com/isovector/thinking-with-types

📖 source material for Thinking with Types
https://github.com/isovector/thinking-with-types

Last synced: 6 days ago
JSON representation

📖 source material for Thinking with Types

• Host: GitHub
• URL: https://github.com/isovector/thinking-with-types
• Owner: isovector
• License: other
• Created: 2018-12-13T18:11:28.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2023-03-06T17:33:59.000Z (almost 2 years ago)
• Last Synced: 2024-12-29T18:09:57.517Z (13 days ago)
• Language: Haskell
• Homepage: http://thinkingwithtypes.com
• Size: 182 MB
• Stars: 478
• Watchers: 21
• Forks: 43
• Open Issues: 17
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• my-awesome - isovector/thinking-with-types - 03 star:0.5k fork:0.0k 📖 source material for Thinking with Types (Haskell)