Junhyung Im entrypointkr

## gadt.md

      
        
          
            
              
              1 file
            
          
          
            
              
              6 forks
            
          
          
            
              
              6 comments
            
          
          
            
              
              53 stars
            
          
        
        
          
              
          
          
            
                smarter
                / gadt.md
            
            
              Last active
              March 6, 2024 23:33
            
              
                GADTs in Scala
              
          
        
      
        
  
      
    Generalized Algebraic Data Types in Scala

Basic GADTs

Here's an ADT which is not a GADT, in Haskell:
data Expr = IntExpr Int | BoolExpr Bool