4 ms·Just bought. Seems pricey but I'm a simp for any type theory content.by jfuasdfw 2y agoJust bought. Seems pricey but I'm a simp for any type theory content.