 
            
            
            
            
                10 Feb
                
                    2016
                
            
            
                10 Feb
                
                '16
                
            
            
            
        
    
                2:21 a.m.
            
        Are these in Haskell already? I see them referenced in something that's called LiquidHaskell, which has its last blog entry from Jan 2015.
Unfortunately, I don't think they are, outside of LiquidHaskell. But LH seems to be actively developed, nevermind the stale blog - last commit to the Github repo was 11 days ago. Best regards, Marcin Mrotek