 
            
            
            
            
                10 Apr
                
                    2017
                
            
            
                10 Apr
                
                '17
                
            
            
            
        
    
                9:36 a.m.
            
        I've been way too busy with GHC and containers to have time to devote to boxes. If anyone wants to take over, they are welcome. The main priority right now is improving documentation, but someone also needs to make sure it works with 8.2 as soon as its dependencies do.
        3125
        
      
          Age (days ago)
        
      
        3125
        
    
          Last active (days ago)
        
        
        
        0 comments
    
    
        
        1 participants
    
    
    
    
    
    
    
    
    participants (1)
- 
                 David Feuer David Feuer