Tebello M. ThejaneAbusing Haskell dependent types to make Redis queues saferI don’t know about you, but quite frankly I’m tired of seeing the same tired vector example being used to demonstrate why dependent types…Aug 21, 20171Aug 21, 20171