4Introduce Scala Native IR (Nir) Code Generator for Dotty (opens in new tab)(github.com)3timothyklim10y ago0
8Stack traces in GHCi, coming in GHC 8.0.1 (opens in new tab)(simonmar.github.io)150timothyklim10y ago2
9Compile-time memory safety using Liquid Haskell (opens in new tab)(haskellforall.com)2timothyklim10y ago0