Skip to content
Snippets Groups Projects
Commit f060da22 authored by Michael Hanus's avatar Michael Hanus
Browse files

Ambiguity error (due to mapM) fixed

parent d850f7e1
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment