Skip to content

GitLab

Commit 29cbe7a1 authored by Nuria Brede's avatar Nuria Brede
Browse files

Update.

parent 38292bb6
Hide whitespace changes
Inline Side-by-side
2021.On the Correctness of Monadic Backward Induction/README.md
View file @ 29cbe7a1
......@@ -32,7 +32,7 @@ under grant agreement No 820970.
* 2020-06-14: Submitted to the Journal of Functional Programming (JFP)
* 2020-11-02: Decision: Major revision
* 2020-02-23: TODO: Submit revised manuscript
* 2020-02-23: Submitted revised manuscript
---
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment