README.md

Type-Driven Development with Scala3

Inspired by Edwin Brady's book "Type-Driven Development with Idris" ¹, this project attempts to solve some puzzles in the book using Scala 3.

Have fun!

Footnotes

1. https://www.type-driven.org.uk/edwinb/ ↩