kernel/prelude/kernel_prelude.hats


1
2
3
4
5
6
7
8
9
10
11
12

#ifndef PRELUDE
#define PRELUDE 1

#include "share/atspre_staload.hats"

staload "lib/SATS/writer.sats"
val () = clear_screen()

staload "./DATS/print.dats"

#endif