search

katydid / regex-derivatives-coq

Apache License 2.0
21 stars 7 forks source link

puns #69

Open awalterschulze opened 4 years ago

awalterschulze commented 4 years ago

Just a list of puns related to Coq. Math related jokes are also welcome :)

awalterschulze commented 4 years ago

This was contributed by someone chatting on the twitch channel: coqnisant

awalterschulze commented 4 years ago

incoqnito

awalterschulze commented 4 years ago

What is the dual of coding? A microwave saying I am done warming your meal ... ding.

awalterschulze commented 4 years ago

Here are some more puns in this pull request https://github.com/awalterschulze/regex-reexamined-coq/pull/68