Untitled

Run Settings
LanguageATS
Language Version
Run Command
#include "share/atspre_staload.hats" #include "share/HATS/atspre_staload_libats_ML.hats" fun loop(n: int): void = (n).foreach()(lam i => $extfcall(void, "printf", "i = %i\n", i)) implement main0 () = loop(10)
PATSCC=$(PATSHOME)/bin/patscc PATSOPT=$(PATSHOME)/bin/patsopt main: main.dats; $(PATSCC) -DATS_MEMALLOC_LIBC -o $@ $< && ./main && rm -f main
Editor Settings
Theme
Key bindings
Full width
Lines