Post Av5vxS48DQSLBkNcp6 by jleedev@mastodon.sdf.org
 (DIR) More posts by jleedev@mastodon.sdf.org
 (DIR) Post #Av5bf2FRT4CEoxbyHh by whitequark@mastodon.social
       2025-06-13T13:23:40Z
       
       0 likes, 0 repeats
       
       the existence of dependent type theory implies the existence of codependent type theory
       
 (DIR) Post #Av5bf3JjUbDs8Ycubw by ignaloidas@not.acu.lt
       2025-06-13T13:48:02.783Z
       
       0 likes, 0 repeats
       
       @whitequark@mastodon.social I certainly have some Python code which if you were to "fully type out", the types would seem codependent
       
 (DIR) Post #Av5vxS48DQSLBkNcp6 by jleedev@mastodon.sdf.org
       2025-06-13T13:26:57Z
       
       1 likes, 0 repeats
       
       @whitequark the prefix "co-" changes something you don't really understand into something you really don't understand