Building an experimental typechecker based on ongoing research is hard work, but at least it beats writing a unifier
5
0
1
julesh
@julesh@mathstodon.xyz
mastodon
4.5.7
Applied Compositional Thinking
0
Followers
0
Following
Joined October 30, 2022
Posts