SiriusCourses
diff --git a/‎examples/Main‎
-1.69 MB b/‎examples/Main‎
-1.69 MB
diff --git a/‎examples/Main.hi‎
-3.6 KB b/‎examples/Main.hi‎
-3.6 KB
diff --git a/‎examples/Main.o‎
-10.9 KB b/‎examples/Main.o‎
-10.9 KB