Basic examples of recursive structures and behaviors based on F-algebras (see also this introduction.

For pedagogical reasons, these examples use Scala's higher-kinded types directly instead of relying on any third-party libraries for category theory or recursion schemes.

This project also illustrates property-based testing using ScalaCheck.

To run the tests:

  sbt test