glossary: strict/lazy evaluation
Assertion in Haskell
Buzzwords