Mark Steve

11
reputation

Trying to understand type theory...