Tears in the Rain.

This repository represents the source code for a project to document common idioms in dependently-typed languages.

We document these patterns using jupyter-book and where possible literate source files.

This is a work in progress, so things may change.