Low-Effort Bread (Haskell Impl)

A Lazy implementaiton of Bread


  • 375g white flour
  • 250g whole wheat flour
  • 2 teaspoon full dry yeast
  • 400ml warm water
  • 45g brown sugar
  • 2 teaspoon salt
  • 35g coconut oil
  • 1 tablespoon some(honey) or some(maple syrup) or some(cane molasses) or none (Optional type)
  • Seeds or Oats for decoration


Sift both flours in a large bowl. Mix them up. Add the brown sugar in the bowl, then the yeast.

Put the yeast in the center of the bowl, and the salt closer to the border of the bowl. Add coconut oil. Add the optional element if some.

Slowly add water (always in the middle of the bowl), mix it up, repeat.

You might need less water than specified. Mix it up with your hands. You should end up with a fluffy sticky dough.

Knead the dough. It will be irregular, it’s fine.

Cover it with a dishcloth, let it rest for ~1h in a warm environment (~25C-28C). It should double its size.

Grease the baking loaf form. Shape it by folding (no mapping!) the dough once and put it into de baking loaf form.

Let it rest for 30 min. It should reach the height of the form. Pre-heat the oven (200C). Add some oats or seeds on top, if you want. Let it bake for ~1h15min.


Useful hints

Baking time may vary. Try local stores for specific products, i.e. Maple Syrup may be hard to find in Europe or South America.

Appendix, Theorems and Artifact

Some theorems with trivial proofs for the reader.

Theorem commutativity_of_flours: forall (flb flw : flour),
  add_dry(flb, flw) = add_dry(flw, flb).

At this time, we are still working on an artifact.


Back to Top ↑


Ad-hoc polymorphic chocolate ice cream

1 minute read

3 ingredients and strong arms, that is what you need (well, you can cheat with a mixer). This polymorphic reciPL is much cheaper than regular ice cream, and ...

You’ll mispronounce it: Bolinho de Chuva

1 minute read

The literal translation of this low-effort dish is “Rain cake”, but this is not a cake, it it does not rain (although, during the publication of this reciPL,...

Chicken Okra Low Effort

2 minute read

This reciPL becomes low-effort if you have a pressure cooker. This is not a common item in some countries in Europe or North America, but it drastically redu...

Unprovable Opéra

7 minute read

Shop the ingredients in advance. This reciPL is very hard, and very expensive. Be prepared for non-trivial proofs, and possibly unprovable lemmas.

Back to Top ↑