Skip to content

Instantly share code, notes, and snippets.

@deciduously

deciduously/sft.dats

Last active October 12, 2019 13:21
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deciduously/1e9adbc924aa145dbe9e60d944b401eb to your computer and use it in GitHub Desktop.
Save deciduously/1e9adbc924aa145dbe9e60d944b401eb to your computer and use it in GitHub Desktop.
Download ZIP
Single-file template for ATS programs
Raw
sft.dats
(*
**
** A template for single-file ATS programs
**
*)
(* ****** ****** *)
//
#include "share/atspre_staload.hats"
//
(* ****** ****** *)
//
// please write you program in this section
//
(* ****** ****** *)
implement
main0 () = () // a dummy implementation for [main0]
(* ****** ****** *)
(* end of [mytest.dats] *)
@deciduously
Copy link
Author

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/x81.html

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment