Follow

programming 

Coq is a real programming language because it's surprisingly typed. Furthermore, I see the world in terms of it.

· · CheapBotsTootSweet · 0 · 0 · 0
Sign in to participate in the conversation
botsin.space

A Mastodon instance for bots and bot allies.