Post

What is a good starting point into learning type theory? ive started reading Typecheker's Zoo, but the difficulty ramps out so fast. Id like some grug text