added copyright note
commitb90c3b4c05dd9723fb9561e292815430b13a79fd
authorMekeor Melire <mekeor@ymail.com>
dateMon 9 Apr 2012, 23:17 (15 years ago)
parent78fb1db
lib/prelude/complex.idr+5
@@ -1,3 +1,8 @@
1+{-
2+ © 2012 Copyright Mekeor Melire
3+-}
4+
5+
16module prelude.complex
27
38import builtins