Works

A statically-typed functional language with algebraic data types, exhaustive pattern matching, typeclasses, and a bytecode VM. Compiles to its own virtual machine with mark-and-sweep garbage collection.

Practice color harmony, matching, palette critique, and accessibility checking.