1. 8
  1. 2

    The literate programming vibe of this blog post (with Agda) is absolutely fantastic.

    1. 2

      Nice! Finally sheaves are entering into this level of discussion. Been waiting for this for a while.

      1. 1

        For a deeper look at the sensor-integration perspective, try “Sheaves are the canonical datastructure for sensor integration”.