We’re going to make an image browser. It’s an unspoken truth that most large image databases people have are actually porn collections, so we’ll be honest with ourselves and call it a porn browser.
Coq is just what the nigga is using for automated testings shit he literally just decided to use Coq so he could make that blog post. COQ CAN'T COMPILE! wow, omitting haskell from the url path wasn't intentional at all, huh? smh at this damn fool