Dependent types for programs you can prove. The global Hottub for Idris — find others who write Idris, send a note, and talk shop. Meet the people who do what you do.
#idris#dependent-types#programming#coding
0 discussions
No discussions here yet — be the first to start one when you join.