Post by @Andrev · Elektrine

In reply to

Andrev

@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 · Apr 08, 2026

@pigworker I really like this characterisation*!

0

2

0

Sign in to interact

Conversation (2)

Showing 0 of 2 cached locally.

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

Loading comments...