add types and type checking (not complete)

1 files changed, 1 insertions, 6 deletions

diff --git a/test/main.felan b/test/main.felan
index 6d26e52..92881c9 100644
--- a/test/main.felan
+++ b/test/main.felan
@@ -1,8 +1,3 @@
-main :: () -> void {
-  print;
-};
-
-a :: (b:void,c:void) -> void {
-  print;
+main : ()->void : () -> void {
   print;
 };