spindas: (raccoon)
[personal profile] spindas

My 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. I plan on posting more details about my work here on Dreamwidth as I go along. Woo!

January 2017

S M T W T F S
1234567
891011121314
15161718192021
22232425262728
29 3031    

Most Popular Tags

Page generated Aug. 18th, 2017 05:00 am
Powered by Dreamwidth Studios