Ein Blog

Mehr Linksammlung als Blog.

rss/atom

2024-07-24

The algebra (and calculus!) of algebraic data types