https://github.com/bkase/idris-book

Going through exercises in the Type Driven Development book
https://github.com/bkase/idris-book

book excercises idris type-driven-development

Last synced: 4 months ago
JSON representation

Going through exercises in the Type Driven Development book

• Host: GitHub
• URL: https://github.com/bkase/idris-book
• Owner: bkase
• Created: 2017-04-20T02:33:36.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-05-13T07:02:27.000Z (over 8 years ago)
• Last Synced: 2025-03-09T17:44:06.999Z (9 months ago)
• Topics: book, excercises, idris, type-driven-development
• Language: Idris
• Homepage:
• Size: 13.7 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Exercises for Type Driven Development

This is where I'll be storing my solutions to the [Type Driven Development with Idris](https://www.manning.com/books/type-driven-development-with-idris).

Goal of this repo: To make sure I go through all the exercises