pronunciation acronyms asked Feb 3, 2011 at 22:04

coq bidirectional-typing asked Apr 28 at 8:46

quotations humor asked Aug 27, 2011 at 22:49

coq emacs asked Feb 17 at 0:04

etymology pronunciation-vs-spelling asked Oct 3, 2012 at 16:48

code-golf number base-conversion asked Dec 29, 2013 at 19:41

agda eta-equality asked Feb 21 at 23:17

coq coq-ssreflect unification asked Apr 30 at 17:31

british-english dialects phonology historical-change vowels asked Feb 9, 2021 at 0:07

pronunciation syllables asked Nov 8, 2011 at 20:39