This is a sandbox for experiments with aspects of Scala. Most of them are just to learn about the language but may turn out to be useful for other projects.
Presentation about these gems of the pure lambda calculus, and my efforts to enumerate them
Bind classes to dots, and to the sources and targets of arrows Fixed chained products Can multiply arrows with f x g, in a world of 'standardized products' Standardized exponents Added equalizers
These capture my understanding of various language features.
Classes to multiply permutations, manipulate them, determine parity
Generate a group from a bunch of permutations