diff options
Diffstat (limited to 'kernel/main.dats')
-rw-r--r-- | kernel/main.dats | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/kernel/main.dats b/kernel/main.dats index bbd201a..0a325ff 100644 --- a/kernel/main.dats +++ b/kernel/main.dats @@ -1,10 +1,6 @@ -#include "share/atspre_staload.hats" - -staload "kernel/writer.sats" -dynload "kernel/writer.dats" +#include "kernel/kernel_prelude.hats" implement main0 () = ( - clear_screen(); - put_string("Hello world\n"); - put_string("GOEIENDSG\n"); - put_string("GOEIENDSG")) + println!("Hello World"); + println!("Hello World"); +) |