1. Delimiter Separated Values -
2. Lookback Fold -
3. Composition -
4. Clone -
5. Flip -
6. Functions -
7. Disjoint -
8. Common -
9. Sublists -
10. Mutating Norm Recursion -
11. Implies -
12. Or -
13. And -
14. Not -
16. Double Bailout Fold -
17. Bailout Fold -
18. Consuming Fold -
19. Predicates -
21. Snoc -
22. Left Fold -
24. Double Fold -
25. Double Natural Recursion -
26. Find Smallest -
27. Norm Recursion -
28. Disjoint Unions -
29. TakeWhile and DropWhile -
30. TakeBut and DropBut -
31. On Boring and Repetitive Proofs -
32. Take and Drop -
33. Dedupe -
34. Delete -
35. Unique -
36. Select -
37. Infix -
38. Sublist -
39. Repeat -
40. Count -
41. Elt -
42. Filter -
43. Tails and Inits -
44. All and Any -
45. Longest Common Prefix -
46. Prefix and Suffix -
47. Unzip -
48. Zip -
49. Range -
50. UnfoldN -
51. Map -
52. At -
53. Length -
54. Cat -
55. Reverse -
56. Lists -
57. Iterative Sets Redux -
58. Choose -
59. Exponentiation -
60. Is Prime -
61. Least Common Multiple -
62. Coprime To -
63. Greatest Common Divisor -
64. Divides -
65. The Division Algorithm -
66. Maximum and Minimum -
67. Strong Induction -
68. Less Than or Equal To -
69. Subtraction -
70. Really Simple Equations -
71. Multiplication -