Hasty Briefsbeta

ATS3 Xanadu Released

12 hours ago
https://github.com/githwxi/XATSHOME
Copy Link
  • #JavaScript
  • #ATS3
  • #compiler
  • ATS3 is the third edition of ATS, currently under development at ATS-Xanadu.
  • XATSHOME is a learning and contribution hub for ATS3.
  • The 'contrib' directory includes 'contrib/githwxi' as an example for setting up personal directories.
  • The ATS3-to-JS compiler is stored in 'xassets/JS/xats2js/xats2js_jsemit01_dats_opt0.js'.
  • Set the environment variable XATSHOME to its directory location (e.g., '~/Research/XATSHOME').
  • Compile ATS3 code to JS using 'node --stack-size=8000' with the compiler script.
  • Generated JS code requires runtime files from 'xassets/JS/xats2js/runtime/' to execute.
  • Refer to 'contrib/githwxi/pground/proj001@250424/misc001/Makefile' for a complete compilation example.
AboutLogin