50:59Haskell DC: A more general type for \f x → f (f x)GaloisRecommended by 2 • 6 years agoHidden gem
48:402023 05 17, Nico Lehmann, Flux -- Liquid Types for RustGaloisRecommended by 2 • 3 years agoHidden gem