Kind

What people said

• “"The developer has built an entire language around a field seemingly without realising that said field exists." That is incredibly funny. Here's a talk about formal verification I made 7 years ago @ DevCon: Here's Cedille Core, my imple…”