diff options
Diffstat (limited to 'kernel/prelude/kernel_prelude.hats')
| -rw-r--r-- | kernel/prelude/kernel_prelude.hats | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/kernel/prelude/kernel_prelude.hats b/kernel/prelude/kernel_prelude.hats new file mode 100644 index 0000000..eb1990d --- /dev/null +++ b/kernel/prelude/kernel_prelude.hats @@ -0,0 +1,12 @@ +#ifndef PRELUDE +#define PRELUDE 1 + +#include "share/atspre_staload.hats" + +staload "lib/SATS/writer.sats" +val () = clear_screen() + +staload "./DATS/print.dats" + +#endif + |