Google Summer of Code 2015!

Apr. 28th, 2015 20:52
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. Woo!

  • Current Mood: excited
  • Current Location: UC San Diego
  • Current Music: Two Cirrate Cubiforms - Darius + Rotteen
Tags:
  • Add Memory
  • Share This Entry
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

Links

December 2022

S M T W T F S
    123
45678910
11121314151617
18192021222324
252627 28293031

Most Popular Tags

Page generated Jan. 5th, 2026 21:37
Powered by Dreamwidth Studios