Minor fixes.

cc3748bb · Nuria Brede · f2f3da93 · cc3748bb · cc3748bb
Commit cc3748bb authored Feb 25, 2021 by Nuria Brede
--- a/2021.On the Correctness of Monadic Backward Induction/README.md
+++ b/2021.On the Correctness of Monadic Backward Induction/README.md
@@ -30,7 +30,7 @@ under grant agreement No 820970.

 ### Timeline

-* 2020-06-14: Submitted to the Journal of Functional Programming (JFP)
+* 2020-07-14: Submitted to the Journal of Functional Programming (JFP)
 * 2020-11-02: Decision: Major revision
 * 2020-02-23: Submitted revised manuscript


--- a/2021.On the Correctness of Monadic Backward Induction/code/code.ipkg
+++ b/2021.On the Correctness of Monadic Backward Induction/code/code.ipkg
-package valval
+package code

 modules= Equality
       , Sigma