Closed affeldt-aist closed 2 years ago
Do we want to keep the file demo_plusMonad.v? @AyumuSaito
No. There is no problem removing it.
Do we want to keep the file demo_plusMonad.v? @AyumuSaito