alecs

bool@mathstodon.xyz

<p>PhD student at IMDEA Software<br />Working on Refinement Types and Liquid Haskell<br />I like when programs are proofs</p>

Posts

View post
@krismicinski@types.pl if people don&#39;t want to lean let them, universities are degree factories anyway
View post
Btw you can&#39;t find bugs in the implementation of mutually defined types because they just don&#39;t work