Donald Thompson

First three lessons in Idris

4

Following the Python style (i.e., non-idiomatic Idris)

```bash $ idris -v 1.3.3 ``` ```bash idris --build containers.ipkg Type checking ./Data/RedBlack/Tree.idr ./Data/RedBlack/Tree.idr:213:13-38: | 213 | ins x vx t@(Element (Node _ y _ _ _) _) = insWith...