This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Hillel is taking a break
hillelwayne.com
did:plc:rvlyeda73kxm7l2weegk73pa
One fact I intellectual know but intuitively struggle with: "static types are not sets".
Couple intuition pumps I think make sense to me:
1. `a -> b -> c` is a distinct type from `a -> b`, but both are the same set (the empty set)
2. the "domain" of `id :: a -> a` would be the universal set
2025-04-14T17:21:40.179Z