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

⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
https://github.com/kutyel/thinking-with-types

gadts haskell kotlin scala type-level type-theory types

Last synced: 2 months ago
JSON representation

⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!

• Host: GitHub
• URL: https://github.com/kutyel/thinking-with-types
• Owner: kutyel
• License: mit
• Created: 2019-11-07T14:11:39.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-02-06T09:40:41.000Z (about 5 years ago)
• Last Synced: 2024-10-24T14:44:33.538Z (4 months ago)
• Topics: gadts, haskell, kotlin, scala, type-level, type-theory, types
• Language: Haskell
• Homepage:
• Size: 116 KB
• Stars: 3
• Watchers: 6
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# thinking-with-types

[![Actions Status](https://github.com/kutyel/thinking-with-types/workflows/Haskell%20CI/badge.svg)](https://github.com/kutyel/thinking-with-types/actions)

[![ormolu](https://img.shields.io/badge/styled%20with-ormolu-blueviolet)](https://github.com/tweag/ormolu)

⌨️ Solutions in various programming languages to the exercises of the "Thinking With Types" book!