Initial.

2021.On the Correctness of Monadic Backwards Induction/README.md

+* To type check About.lidr (or other literate Idris file) with idris
+  (version 1.3.3) in your path:
+
+    + Download IdrisLibs or IdrisLibs2 from [1] or [2].
+
+    + enter "idris -i $IDRISLIBS --sourcepath $IDRISLIBS --allow-capitalized-pattern-variables About.lidr
+
+  where IDRISLIBS is the path of IdrisLibs or IdrisLibs2.
+
+* To generate a PostScript version of the paper:
+
+    + enter "make" in the command line.
+
+* If you encounter any issue, please get in touch (botta@pik-potsdam.de).
+
+
+* [1] https://gitlab.pik-potsdam.de/botta/IdrisLibs
+
+* [2] https://gitlab.pik-potsdam.de/botta/IdrisLibs2