David Shepard daveman1010221

## notes.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                daveman1010221
                / notes.md
            
            
              Last active
              April 28, 2020 01:26
            
              
                PureScript Notes
              
          
    PureScript Notes

Definitions

Preliminary


Type: A context that describes some value.


Sum type: A kind of user-defined type that is a boolean XOR of possible
types, where only one is chosen for a given instantiation. Also called a