About alecs
PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs
Lists
bool has no public lists
Timeline
bool has no activity yet
PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs
bool has no public lists
bool has no activity yet