kernel_prelude.hats « prelude « kernel - ats-os - An attempt to create an operation system in ats-lang.

about summary refs log tree commit diff

path: root/kernel/prelude/kernel_prelude.hats

blob: 514c2c26f7440c8bb54d2ba89843b56ae1437aa1 (plain)

#ifndef PRELUDE
#define PRELUDE 1

#include "share/atspre_staload.hats"

staload "./DATS/print.dats"
staload "./SATS/safe_casts.sats"

#endif