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
-
Post #2569281
@krismicinski@types.pl if people don&#39;t want to lean let them, universities are degree factories anyway
-
Post #2569279
Btw you can&#39;t find bugs in the implementation of mutually defined types because they just don&#39;t work