Jürgen Heiling
Results
1
comments of
Jürgen Heiling
I found out what's going on... I had a file named IO.idr in the folder. Idris doesn't like that at all :(