Flood pulse irrigation could be an alternative to mineral fertilization of hay meadows. But how do soil microbial communities (fungi, bacteria) respond? What are the changes in soil chemistry (e.g. pH)?

▶️ https://mdpi.com/2571-8789/5/2/24 by Kenngott and colleages @ University of Koblenz-Landau

By the way, the study area between Landau and Germersheim along river Queich is UNESCO Intangible Cultural Heritage!

https://unesco.de/kultur-und-natur/immaterielles-kulturerbe/immaterielles-kulturerbe-deutschland/wiesenbewaesserung

#Wässerwiesen #sustainable #agriculture #MDPI #SoilSystems #Queich #Landau #Germersheim #Queich is #UNESCO #PLFA #AMF #fungi #bacteria #pH #fertilization #irrigation #meadows

Foto credit: queichwiesen.de/grundlagen

@veer66, it is hard to answer your questions with the care they deserve in these relatively short toots. There's nothing you brought up in this thread that cannot be encoded via (static) types.
I strongly encourage you to read a type theory book, e.g., The Little Typer, Type-Driven Development with Idris, or Programming Language Foundations in Agda.

@magthe
#typetheory #PLFA

I'm excited to see my proposal for a different formalisation of de Bruijn indices merged into a book Programming Language Foundations in Agda (authors: Wadler, Kokke, Siek)!

https://github.com/plfa/plfa.github.io/pull/514

The new formalisation is based on proof by reflection instead of relying on postulates and partial functions.

Total functional programming and dependent types rock!

#PLFA #Agda #typetheory #functionalprogramming #dependenttypes