Valeria de Paiva vcvpaiva

## Dialectica.lagda.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                vcvpaiva
                / Dialectica.lagda.md
            
            
              Last active
              June 10, 2024 16:12
                — forked from TOTBWF/Dialectica.lagda.md
            
              
                Dialectica Categories with Valeria
              
          
        
      
        
  
      
    
  
  
  description
  
  
  
  
  Dialectica categories with Valeria
June 4th, 2024 at the HIM trimester.

Created by Reed Mullanix, comments by vcvp (trying to understand).