Home
About
Contact
Reading List
Archive
RSS
Atom
Hedonistic Learning
Learning for the fun of it
Quotient Types for Programmers
September 23, 2016 05:21 UTC
Tags:
math
,
type theory
Understanding typing judgments
April 13, 2016 02:41 UTC
Tags:
Agda
,
type theory
Recent
2024-10-04 -
Global Rebuilding, Coroutines, and Defunctionalization
2024-07-19 -
Morleyization
2024-01-15 -
The Pullback Lemma in Gory Detail (Redux)
2024-01-03 -
Universal Quantification and Infinite Conjunction
2023-12-22 -
What is the coproduct of two groups?
2023-03-21 -
Preserving, Reflecting, and Creating Limits
2021-01-06 -
Overlaps
2020-08-09 -
Complex-Step Differentiation
2020-07-06 -
Enriched Indexed Categories, Syntactically
2020-07-06 -
Internal Language of Indexed Monoidal Categories
Tags
Agda (1)
CS (4)
category theory (14)
concurrency (1)
geometric algebra (1)
javascript (1)
logic (5)
math (22)
programming (5)
type theory (2)