:blobcatflip: :blobcatcry: :blobcatsweat: trying to write the complete untyped debruijn-indexed syntax tree of a Coq match...

Sign in to participate in the conversation
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !