This repo is an implementation of PointFree's TCA tutorial. I've taken the liberty of updating the code to the observation-beta branch and modularized the example applications.