_@tobysevier

_{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)

    

    

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

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

    

     .//                
|/|////
    

    

     ._                 
|/|/// /   
    

    

    

    


 

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

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

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

    
   
     ._    
|/|/// /   
    

    
      
 . _       
/_\        
    

    
   
    _      
/_//_/     
  /        
    

    
      
_/__       
/ /_/      
    

    
   
     _     
/_/_\