Article URL: https://abuseofnotation.github.io/category-theory-illustrated/06_type/
Comments URL: https://news.ycombinator.com/item?id=47624804
Points: 15
# Comments: 0