################## Start of [README] ##################

HX-2024-07-03:
(*
Wed 03 Jul 2024 09:21:50 AM EDT
*)
ATS3/Xanadu/srcgen1:
This project was the first attempt to implement ATS3!
It started around April, 2018 and produced a typechecker
(xatsopt) and then a compiler (xats2js) by November, 2020.

############

############
# UTIL:
############

For utilities needed by xats that are platform-dependent.

################## Finish of [README] ##################