demo-lition expert

@sdemos
10 Followers
23 Following
23 Posts
Sentient coq proof, exported into haskell and served from a kubernetes cluster on the island of misfit pods.