List view

• Shape-typed examples

  Some simple & useful programs that work on shape-parametrized data types, such as length-typed vectors and depth-typed, perfect, binary, leaf trees.

  No due date

  •0/1 issues closed
  0% complete1 open0 closed

• Linear transformation ("matrices")

  * Define on nested pairs, via `(&&&)` and `(|||)` on vector spaces, even if not formulated that way. * Relate to other types via type encoding to nested pairs. * Use shape-typed imperfect trees in place of vectors, following Chris Okasaki. * Application (transformation) * Composition * Maybe inversion

  No due date
  0% complete0 open0 closed