In reply to
mei
@mei@donotsta.re
donotsta.re
sex toys, proof assistants, re: OH, kink reference, programming languages
Sensitive
OH: do you think someone already made the Lean integration with buttplug.io
View full thread on donotsta.re
0
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...