kernel/main.dats


1
2
3
4
5
6
7
8
9
10

#include "share/atspre_staload.hats"

staload "kernel/writer.sats"
dynload "kernel/writer.dats"

implement main0 () = (
  clear_screen();
  put_string("Hello world\n");
  put_string("GOEIENDSG\n");
  put_string("GOEIENDSG"))