![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Google Summer of Code 2015!
Apr. 28th, 2015 20:52My proposal for the Haskell's Google Summer of Code 2015 has been accepted! I'm super excited for this. There's a list of the other accepted proposals on reddit, and I've posted my full proposal as a Gist. I'll be working on embedding LiquidHaskell signatures in Haskell's native type system. Woo!
