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

@RosaCtrl @samir @Profpatsch wait no, I hate sauerkraut too, I might be hopeless

Conversation (2)

Showing 0 of 2 cached locally.

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

Loading comments...