added complex-module into checkall.idr such that it gets checked, too..
commit30ca78117d77f86f6c867df262befd509892ee8e
authorMekeor Melire <mekeor@ymail.com>
dateFri 24 Feb 2012, 14:55 (15 years ago)
parent7db77db
lib/checkall.idr+1
@@ -20,6 +20,7 @@ import prelude.either
2020import prelude.vect
2121import prelude.strings
2222import prelude.char
23+import prelude.complex
2324
2425import network.cgi
2526