Ryan Shea — e/acc
@ryanshea.eth
What’s your favorite programming language?
25 replies
0 recast
0 reaction
tg
@tg
Ltac & Gallina. Does things you’ve never realized languages should be able to do.
0 reply
0 recast
0 reaction