This repo is being decomissioned. Definitions in this list are often incomplete and/or incorrect

1. Ad-hoc polymorphism (constrained polymorphism
2. Anonymous function
3. Application
4. Argument vs Parameter
5. Arity
6. Beta Reduction
7. Bindings or Bound (local & top level)
8. Bottom
9. Bound variable
10. A Calculus
11. Church-Rosser property
12. Combinator
13. Composition
14. Concatenation
15. Conditional expression
16. Currying
17. Data constructors
18. Data constructors
19. Data declarations
20. Data structures
21. Datatype (aka Type)
22. Declarations
23. Derived instance
24. Divergence
25. Enum
26. Effects
27. Expression
28. Free variables
29. Function
30. Functor
31. Higher-order functions
32. Infix Notation
33. Instance
34. IO
35. Lambda
36. Lambda abstraction
37. Lambda calculus
38. Logical conjunction - empty
39. Logical disjunction - empty
40. Module
41. Monomorphism restriction
42. newtype
43. Normal Order
44. Nullary
45. Operators (are functions)
46. Partial functions
47. Pattern matching
48. Point-free
49. Redexes
50. Referential transparency
51. Scope
52. Sections
53. Semigroup
54. String
55. Sum type
56. Sumber class & Subclass
57. Syntatic sugar
58. Term-level & Type-Level
59. Top-level declaration
60. Tuple
61. Type (aka datatype
62. Type alias
63. Type Constructor
64. Type class
65. Type class inheritance
66. Type inference
67. Type Variable
68. Value