Dependently typed programming and proof. The global Hottub for Agda — find others who write Agda, send a note, and talk shop. Meet the people who do what you do.
#agda#dependent-types#programming#coding
0 discussions
No discussions here yet — be the first to start one when you join.