## Assorted links

Mapping sets in Scala using Coyoneda

Why Dependently Typed Programming Will (One Day) Rock Your World. Related thoughts on type errors in mathematics education.

Constructions vs Specifications.

How to use Treelog, and the underlying github page.

Frequentist inference only seems easy.

A stochastic diﬀusion process for the Dirichlet distribution. Some …

more ...