_@tobysevier

The Machines Will Win | Toby Sevier
20241004_build_latte
3.0.2
AZ. AS. S@0 (n@3 a@2 Z@1 s@0, Aa[(a : type)]) S@7
0 -> (a@1 -> a@2) -> a@2]. AZ. AS. S@0 (n@3 a@2 z@1 S@0), (a : Type)


    

_/_/_ _ / / //_'

_ _ _ _ /_ ._ _ _ / / //_|/_ / /// //_'_\

.// |/|////

._ |/|/// /































































































/_ _ / //_/|/|/

_/_/_ _ / / //_'/_/ _/

._ |/|/// /

. _ /_\

_ /_//_/ /

_/__ / /_/

_ /_/_\