Braids represented as Haskell types with support for generation and transformations. Artin generators, Birman-Ko-Lee band generators, isotopy/Reidemeister moves, rendering via Diagrams. https://hackage.haskell.org/package/fadno-braids-0.0.2 Thanks, Stuart