← Feed @pigworker@types.pl Post #2840063 2026-05-24 20:17 UTC In the noughties they DID NOT WANT dependently typed programming. And that meant they did not want me. But here I fucking am. Replies (0) No replies.