Post by @Andrev

In reply to

@Andrev@types.pl

Researching types, correctness, and purpose. I sleep a lot

types.pl

@Andrev@types.pl

Researching types, correctness, and purpose. I sleep a lot

types.pl

@Andrev@types.pl · Mar 30, 2026

@samir @RosaCtrl @Profpatsch This is a reference to the awful Wallis curry isn't it

Conversation (2)

Showing 0 of 2 cached locally.

Syncing comments from the remote thread. 2 more replies are still loading.

Loading comments...