Posts tagged "arithmetic-made-difficult"

  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 -
  15. Arithmetic Made Difficult -
  16. Double Bailout Fold -
  17. Bailout Fold -
  18. Consuming Fold -
  19. Predicates -
  20. ZipPad -
  21. Snoc -
  22. Left Fold -
  23. Head and Tail -
  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 -
  72. Addition -
  73. The Uniqueness of the Natural Numbers -
  74. Mutating Recursion -
  75. Bailout Recursion -
  76. From Arrows to Programs -
  77. Simple Recursion -
  78. Natural Numbers -
  79. Tuples -
  80. Booleans -