Monoid vs MonadPlus
55475
Why MonadPlus and not Monad + Monoid?
105678
Smaller vs. less vs. lesser
5220
Immutability, Association and typing
156459
infinite monoid H that is not a free monoid and contains a free monoid as a submonoid
148284
Parsec vs Yacc/Bison/Antlr: Why and when to use Parsec?
40643
Recognizable vs Decidable
127596
Composition of equivalence relations
102438
Defining scalable "white curly brackets" {| and |} (⦃ and ⦄)
107172
Countable nouns and determiners
53056
natural deduction: introduction of universal quantifier and elimination of existential quantifier explained
145679
What's the difference between "$\to$" (implication) and "$\vdash$" (therefore)?
152191
Why is a monoid with right identity and left inverse not necessarily a group?
14849
Decidability of a predicate.
44660
Type-juggling and (strict) greater/lesser-than comparisons in PHP
112406
Abstract types versus type parameters
10519
Describe in English a Turing machine that semidecides the following language - Is this solution correct?
56156
Composition and Onto Functions