├── .gitignore ├── .travis.yml ├── Makefile_update ├── README.md ├── bin └── .keeper ├── lib └── .gitkeep ├── prelude ├── DATS │ ├── CATS │ │ ├── JS │ │ │ ├── Node │ │ │ │ ├── g_print.cats │ │ │ │ └── g_print.dats │ │ │ ├── basics.dats │ │ │ ├── g_eqref.cats │ │ │ ├── g_eqref.dats │ │ │ ├── g_print.cats │ │ │ ├── g_print.dats │ │ │ ├── jsbasics.cats │ │ │ ├── jsbasics.dats │ │ │ ├── prelude.cats │ │ │ ├── prelude.dats │ │ │ ├── runtime.cats │ │ │ └── unsafe.dats │ │ └── Xint │ │ │ ├── .keeper │ │ │ ├── basics.dats │ │ │ └── prelude.dats │ ├── array.dats │ ├── bool.dats │ ├── char.dats │ ├── gbas.dats │ ├── gflt.dats │ ├── gfor.dats │ ├── gfun.dats │ ├── gint.dats │ ├── gios.dats │ ├── gmap.dats │ ├── gnum.dats │ ├── gord.dats │ ├── gseq.dats │ ├── gseq_vt.dats │ ├── gseqn.dats │ ├── list.dats │ ├── list_vt.dats │ ├── optn.dats │ ├── optn_vt.dats │ ├── rand.dats │ ├── stream.dats │ ├── stream_vt.dats │ ├── string.dats │ ├── synougat.dats │ ├── tuple.dats │ └── unsafe.dats ├── SATS │ ├── CC │ │ ├── array.sats │ │ └── basics.sats │ ├── array.sats │ ├── bool.sats │ ├── char.sats │ ├── gbas.sats │ ├── gflt.sats │ ├── gfor.sats │ ├── gfun.sats │ ├── gint.sats │ ├── gintb.sats │ ├── gmap.sats │ ├── gnum.sats │ ├── gord.sats │ ├── gseq.sats │ ├── gseq_vt.sats │ ├── gseqn.sats │ ├── gseqn_vt.sats │ ├── list.sats │ ├── list_vt.sats │ ├── optn.sats │ ├── optn_vt.sats │ ├── stream.sats │ ├── stream_vt.sats │ ├── string.sats │ └── unsafe.sats ├── basics.sats ├── excptn.sats ├── fixity.sats ├── xparam.hats └── xsetup.sats ├── srcgen ├── xats │ ├── .depend │ ├── BUILD │ │ └── .gitkeep │ ├── CATS │ │ ├── lexbuf0.cats │ │ ├── locinfo.cats │ │ └── parsing.cats │ ├── DATS │ │ ├── CONTRIB │ │ │ ├── githwxi │ │ │ │ ├── .keeper │ │ │ │ ├── my_tread23_dynexp.dats │ │ │ │ └── my_tread33_dynexp.dats │ │ │ ├── tread23_dynexp.dats │ │ │ └── tread33_dynexp.dats │ │ ├── cstrnt0.dats │ │ ├── cstrnt0_print.dats │ │ ├── cstrnt1.dats │ │ ├── cstrnt1_print.dats │ │ ├── dmacro2_macdef.dats │ │ ├── dynexp0.dats │ │ ├── dynexp0_print.dats │ │ ├── dynexp1.dats │ │ ├── dynexp1_print.dats │ │ ├── dynexp2.dats │ │ ├── dynexp2_d2con.dats │ │ ├── dynexp2_d2cst.dats │ │ ├── dynexp2_d2var.dats │ │ ├── dynexp2_print.dats │ │ ├── dynexp3.dats │ │ ├── dynexp3_print.dats │ │ ├── dynexp3_util0.dats │ │ ├── dynexp4.dats │ │ ├── dynexp4_print.dats │ │ ├── dynexp4_stmap.dats │ │ ├── dynexp4_util0.dats │ │ ├── effect0.dats │ │ ├── filpath.dats │ │ ├── filsrch.dats │ │ ├── gmacro1_define.dats │ │ ├── intrep0.dats │ │ ├── intrep0_dynexp.dats │ │ ├── intrep0_jsoniz.dats │ │ ├── intrep0_print.dats │ │ ├── intrep0_statyp.dats │ │ ├── lexbuf0.dats │ │ ├── lexing0_kword.dats │ │ ├── lexing0_token.dats │ │ ├── lexing0_util0.dats │ │ ├── locinfo.dats │ │ ├── nmspace.dats │ │ ├── parsing_basics.dats │ │ ├── parsing_dynexp.dats │ │ ├── parsing_staexp.dats │ │ ├── parsing_tokbuf.dats │ │ ├── staexp0.dats │ │ ├── staexp0_print.dats │ │ ├── staexp1.dats │ │ ├── staexp1_print.dats │ │ ├── staexp2.dats │ │ ├── staexp2_init0.dats │ │ ├── staexp2_print.dats │ │ ├── staexp2_s2cst.dats │ │ ├── staexp2_util1.dats │ │ ├── staexp2_util2.dats │ │ ├── statyp2.dats │ │ ├── statyp2_init0.dats │ │ ├── statyp2_print.dats │ │ ├── statyp2_unify.dats │ │ ├── statyp2_util0.dats │ │ ├── synread_basics.dats │ │ ├── synread_dynexp.dats │ │ ├── synread_staexp.dats │ │ ├── tcomp30_dynexp.dats │ │ ├── tcomp30_statyp.dats │ │ ├── tcomp30_util0.dats │ │ ├── trans01_basics.dats │ │ ├── trans01_dynexp.dats │ │ ├── trans01_envmap.dats │ │ ├── trans01_staexp.dats │ │ ├── trans12_basics.dats │ │ ├── trans12_dynexp.dats │ │ ├── trans12_envmap.dats │ │ ├── trans12_staexp.dats │ │ ├── trans23_dynexp.dats │ │ ├── trans23_util0.dats │ │ ├── trans33_dynexp.dats │ │ ├── trans33_envmap.dats │ │ ├── trans33_util0.dats │ │ ├── trans34_dynexp.dats │ │ ├── trans34_envmap.dats │ │ ├── trans34_util1.dats │ │ ├── trans34_util2.dats │ │ ├── trans3t_dynexp.dats │ │ ├── trans3t_envmap.dats │ │ ├── trans3x_dynexp.dats │ │ ├── trans3x_envmap.dats │ │ ├── trans4x_dynexp.dats │ │ ├── trans4x_envmap.dats │ │ ├── tread01_dynexp.dats │ │ ├── tread01_staexp.dats │ │ ├── tread12_dynexp.dats │ │ ├── tread12_staexp.dats │ │ ├── tread23_dynexp.dats │ │ ├── tread33_dynexp.dats │ │ ├── tread34_dynexp.dats │ │ ├── tread3x_dynexp.dats │ │ ├── xatsopt.dats │ │ ├── xatsopt_main0.dats │ │ ├── xatsopt_util0.dats │ │ ├── xbasics.dats │ │ ├── xerrory.dats │ │ ├── xfixity.dats │ │ ├── xglobal.dats │ │ ├── xlabel0.dats │ │ ├── xstamp0.dats │ │ ├── xsymbol.dats │ │ ├── xsymenv.dats │ │ └── xsymmap.dats │ ├── HATS │ │ └── xatsopt.hats │ ├── Makefile │ ├── Makefile_xatsopt │ ├── SATS │ │ ├── cstrnt0.sats │ │ ├── cstrnt1.sats │ │ ├── dynexp0.sats │ │ ├── dynexp1.sats │ │ ├── dynexp2.sats │ │ ├── dynexp3.sats │ │ ├── dynexp4.sats │ │ ├── effect0.sats │ │ ├── filpath.sats │ │ ├── filsrch.sats │ │ ├── intrep0.sats │ │ ├── lexbuf0.sats │ │ ├── lexing0.sats │ │ ├── locinfo.sats │ │ ├── nmspace.sats │ │ ├── parsing.sats │ │ ├── staexp0.sats │ │ ├── staexp1.sats │ │ ├── staexp2.sats │ │ ├── statyp2.sats │ │ ├── synread.sats │ │ ├── tcomp30.sats │ │ ├── trans01.sats │ │ ├── trans12.sats │ │ ├── trans23.sats │ │ ├── trans33.sats │ │ ├── trans34.sats │ │ ├── trans3t.sats │ │ ├── trans3x.sats │ │ ├── trans4x.sats │ │ ├── tread01.sats │ │ ├── tread12.sats │ │ ├── tread23.sats │ │ ├── tread33.sats │ │ ├── tread34.sats │ │ ├── tread3t.sats │ │ ├── tread3x.sats │ │ ├── xatsopt.sats │ │ ├── xbasics.sats │ │ ├── xerrory.sats │ │ ├── xfixity.sats │ │ ├── xglobal.sats │ │ ├── xlabel0.sats │ │ ├── xstamp0.sats │ │ ├── xsymbol.sats │ │ ├── xsymenv.sats │ │ └── xsymmap.sats │ └── TEST │ │ ├── Makefile_prelude │ │ ├── Makefile_test │ │ └── Makefile_xatslib └── xutl │ ├── DATS │ ├── Posix │ │ ├── cblist.dats │ │ └── mylibc.dats │ ├── Windows │ │ └── .gitkeep │ └── cblist.dats │ ├── SATS │ ├── Posix │ │ └── cblist.sats │ ├── Windows │ │ └── cblist.sats │ ├── cblist.sats │ └── mylibc.sats │ └── TEST │ ├── Makefile │ ├── Posix │ ├── DATA │ │ └── test_cblist.txt │ ├── Makefile │ ├── test_cblist.dats │ └── test_mylibc.dats │ └── cblist.dats ├── travis-ci ├── install-ats2.sh └── travis.yml └── xatslib ├── githwxi ├── DATS │ ├── dvdcnq.dats │ ├── gtree1.dats │ ├── mygist.dats │ ├── mytest.dats │ ├── parcmbr1.dats │ └── xdebug.dats ├── SATS │ └── githwxi.sats └── TEST │ └── test-2020-03-21.dats └── libc ├── DATS ├── CATS │ ├── JS │ │ └── Node │ │ │ ├── basics.dats │ │ │ └── prelude.cats │ └── Xint │ │ └── basics.dats ├── fpath.dats ├── gios.dats ├── rand.dats └── stdio.dats └── SATS └── libc.sats /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/.travis.yml -------------------------------------------------------------------------------- /Makefile_update: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/Makefile_update -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/README.md -------------------------------------------------------------------------------- /bin/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/Node/g_print.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/Node/g_print.cats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/Node/g_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/Node/g_print.dats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/basics.dats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/g_eqref.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/g_eqref.cats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/g_eqref.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/g_eqref.dats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/g_print.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/g_print.cats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/g_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/g_print.dats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/jsbasics.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/jsbasics.cats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/jsbasics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/jsbasics.dats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/prelude.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/prelude.cats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/prelude.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/prelude.dats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/runtime.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/runtime.cats -------------------------------------------------------------------------------- /prelude/DATS/CATS/JS/unsafe.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/JS/unsafe.dats -------------------------------------------------------------------------------- /prelude/DATS/CATS/Xint/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /prelude/DATS/CATS/Xint/basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/Xint/basics.dats -------------------------------------------------------------------------------- /prelude/DATS/CATS/Xint/prelude.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/CATS/Xint/prelude.dats -------------------------------------------------------------------------------- /prelude/DATS/array.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/array.dats -------------------------------------------------------------------------------- /prelude/DATS/bool.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/bool.dats -------------------------------------------------------------------------------- /prelude/DATS/char.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/char.dats -------------------------------------------------------------------------------- /prelude/DATS/gbas.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gbas.dats -------------------------------------------------------------------------------- /prelude/DATS/gflt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gflt.dats -------------------------------------------------------------------------------- /prelude/DATS/gfor.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gfor.dats -------------------------------------------------------------------------------- /prelude/DATS/gfun.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gfun.dats -------------------------------------------------------------------------------- /prelude/DATS/gint.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gint.dats -------------------------------------------------------------------------------- /prelude/DATS/gios.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gios.dats -------------------------------------------------------------------------------- /prelude/DATS/gmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gmap.dats -------------------------------------------------------------------------------- /prelude/DATS/gnum.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gnum.dats -------------------------------------------------------------------------------- /prelude/DATS/gord.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gord.dats -------------------------------------------------------------------------------- /prelude/DATS/gseq.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gseq.dats -------------------------------------------------------------------------------- /prelude/DATS/gseq_vt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gseq_vt.dats -------------------------------------------------------------------------------- /prelude/DATS/gseqn.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/gseqn.dats -------------------------------------------------------------------------------- /prelude/DATS/list.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/list.dats -------------------------------------------------------------------------------- /prelude/DATS/list_vt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/list_vt.dats -------------------------------------------------------------------------------- /prelude/DATS/optn.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/optn.dats -------------------------------------------------------------------------------- /prelude/DATS/optn_vt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/optn_vt.dats -------------------------------------------------------------------------------- /prelude/DATS/rand.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/rand.dats -------------------------------------------------------------------------------- /prelude/DATS/stream.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/stream.dats -------------------------------------------------------------------------------- /prelude/DATS/stream_vt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/stream_vt.dats -------------------------------------------------------------------------------- /prelude/DATS/string.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/string.dats -------------------------------------------------------------------------------- /prelude/DATS/synougat.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/synougat.dats -------------------------------------------------------------------------------- /prelude/DATS/tuple.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/tuple.dats -------------------------------------------------------------------------------- /prelude/DATS/unsafe.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/DATS/unsafe.dats -------------------------------------------------------------------------------- /prelude/SATS/CC/array.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/CC/array.sats -------------------------------------------------------------------------------- /prelude/SATS/CC/basics.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/CC/basics.sats -------------------------------------------------------------------------------- /prelude/SATS/array.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/array.sats -------------------------------------------------------------------------------- /prelude/SATS/bool.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/bool.sats -------------------------------------------------------------------------------- /prelude/SATS/char.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/char.sats -------------------------------------------------------------------------------- /prelude/SATS/gbas.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gbas.sats -------------------------------------------------------------------------------- /prelude/SATS/gflt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gflt.sats -------------------------------------------------------------------------------- /prelude/SATS/gfor.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gfor.sats -------------------------------------------------------------------------------- /prelude/SATS/gfun.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gfun.sats -------------------------------------------------------------------------------- /prelude/SATS/gint.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gint.sats -------------------------------------------------------------------------------- /prelude/SATS/gintb.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gintb.sats -------------------------------------------------------------------------------- /prelude/SATS/gmap.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gmap.sats -------------------------------------------------------------------------------- /prelude/SATS/gnum.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gnum.sats -------------------------------------------------------------------------------- /prelude/SATS/gord.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gord.sats -------------------------------------------------------------------------------- /prelude/SATS/gseq.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gseq.sats -------------------------------------------------------------------------------- /prelude/SATS/gseq_vt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gseq_vt.sats -------------------------------------------------------------------------------- /prelude/SATS/gseqn.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gseqn.sats -------------------------------------------------------------------------------- /prelude/SATS/gseqn_vt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/gseqn_vt.sats -------------------------------------------------------------------------------- /prelude/SATS/list.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/list.sats -------------------------------------------------------------------------------- /prelude/SATS/list_vt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/list_vt.sats -------------------------------------------------------------------------------- /prelude/SATS/optn.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/optn.sats -------------------------------------------------------------------------------- /prelude/SATS/optn_vt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/optn_vt.sats -------------------------------------------------------------------------------- /prelude/SATS/stream.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/stream.sats -------------------------------------------------------------------------------- /prelude/SATS/stream_vt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/stream_vt.sats -------------------------------------------------------------------------------- /prelude/SATS/string.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/string.sats -------------------------------------------------------------------------------- /prelude/SATS/unsafe.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/SATS/unsafe.sats -------------------------------------------------------------------------------- /prelude/basics.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/basics.sats -------------------------------------------------------------------------------- /prelude/excptn.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/excptn.sats -------------------------------------------------------------------------------- /prelude/fixity.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/fixity.sats -------------------------------------------------------------------------------- /prelude/xparam.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/xparam.hats -------------------------------------------------------------------------------- /prelude/xsetup.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/prelude/xsetup.sats -------------------------------------------------------------------------------- /srcgen/xats/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/.depend -------------------------------------------------------------------------------- /srcgen/xats/BUILD/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /srcgen/xats/CATS/lexbuf0.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/CATS/lexbuf0.cats -------------------------------------------------------------------------------- /srcgen/xats/CATS/locinfo.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/CATS/locinfo.cats -------------------------------------------------------------------------------- /srcgen/xats/CATS/parsing.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/CATS/parsing.cats -------------------------------------------------------------------------------- /srcgen/xats/DATS/CONTRIB/githwxi/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /srcgen/xats/DATS/CONTRIB/githwxi/my_tread23_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/CONTRIB/githwxi/my_tread23_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/CONTRIB/githwxi/my_tread33_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/CONTRIB/githwxi/my_tread33_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/CONTRIB/tread23_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/CONTRIB/tread23_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/CONTRIB/tread33_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/CONTRIB/tread33_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/cstrnt0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/cstrnt0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/cstrnt0_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/cstrnt0_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/cstrnt1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/cstrnt1.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/cstrnt1_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/cstrnt1_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dmacro2_macdef.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dmacro2_macdef.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp0_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp0_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp1.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp1_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp1_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp2.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp2_d2con.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp2_d2con.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp2_d2cst.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp2_d2cst.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp2_d2var.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp2_d2var.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp2_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp2_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp3.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp3.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp3_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp3_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp3_util0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp3_util0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp4.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp4.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp4_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp4_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp4_stmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp4_stmap.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/dynexp4_util0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/dynexp4_util0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/effect0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/effect0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/filpath.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/filpath.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/filsrch.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/filsrch.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/gmacro1_define.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/gmacro1_define.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/intrep0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/intrep0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/intrep0_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/intrep0_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/intrep0_jsoniz.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/intrep0_jsoniz.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/intrep0_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/intrep0_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/intrep0_statyp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/intrep0_statyp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/lexbuf0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/lexbuf0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/lexing0_kword.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/lexing0_kword.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/lexing0_token.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/lexing0_token.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/lexing0_util0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/lexing0_util0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/locinfo.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/locinfo.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/nmspace.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/nmspace.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/parsing_basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/parsing_basics.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/parsing_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/parsing_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/parsing_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/parsing_staexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/parsing_tokbuf.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/parsing_tokbuf.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp0_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp0_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp1.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp1_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp1_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp2.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp2_init0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp2_init0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp2_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp2_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp2_s2cst.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp2_s2cst.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp2_util1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp2_util1.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/staexp2_util2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/staexp2_util2.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/statyp2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/statyp2.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/statyp2_init0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/statyp2_init0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/statyp2_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/statyp2_print.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/statyp2_unify.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/statyp2_unify.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/statyp2_util0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/statyp2_util0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/synread_basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/synread_basics.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/synread_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/synread_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/synread_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/synread_staexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tcomp30_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tcomp30_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tcomp30_statyp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tcomp30_statyp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tcomp30_util0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tcomp30_util0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans01_basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans01_basics.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans01_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans01_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans01_envmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans01_envmap.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans01_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans01_staexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans12_basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans12_basics.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans12_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans12_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans12_envmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans12_envmap.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans12_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans12_staexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans23_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans23_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans23_util0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans23_util0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans33_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans33_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans33_envmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans33_envmap.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans33_util0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans33_util0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans34_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans34_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans34_envmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans34_envmap.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans34_util1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans34_util1.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans34_util2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans34_util2.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans3t_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans3t_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans3t_envmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans3t_envmap.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans3x_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans3x_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans3x_envmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans3x_envmap.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans4x_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans4x_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/trans4x_envmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/trans4x_envmap.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tread01_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tread01_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tread01_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tread01_staexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tread12_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tread12_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tread12_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tread12_staexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tread23_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tread23_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tread33_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tread33_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tread34_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tread34_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/tread3x_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/tread3x_dynexp.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xatsopt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xatsopt.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xatsopt_main0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xatsopt_main0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xatsopt_util0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xatsopt_util0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xbasics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xbasics.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xerrory.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xerrory.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xfixity.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xfixity.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xglobal.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xglobal.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xlabel0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xlabel0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xstamp0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xstamp0.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xsymbol.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xsymbol.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xsymenv.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xsymenv.dats -------------------------------------------------------------------------------- /srcgen/xats/DATS/xsymmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/DATS/xsymmap.dats -------------------------------------------------------------------------------- /srcgen/xats/HATS/xatsopt.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/HATS/xatsopt.hats -------------------------------------------------------------------------------- /srcgen/xats/Makefile: -------------------------------------------------------------------------------- 1 | Makefile_xatsopt -------------------------------------------------------------------------------- /srcgen/xats/Makefile_xatsopt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/Makefile_xatsopt -------------------------------------------------------------------------------- /srcgen/xats/SATS/cstrnt0.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/cstrnt0.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/cstrnt1.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/cstrnt1.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/dynexp0.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/dynexp0.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/dynexp1.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/dynexp1.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/dynexp2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/dynexp2.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/dynexp3.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/dynexp3.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/dynexp4.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/dynexp4.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/effect0.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/effect0.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/filpath.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/filpath.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/filsrch.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/filsrch.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/intrep0.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/intrep0.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/lexbuf0.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/lexbuf0.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/lexing0.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/lexing0.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/locinfo.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/locinfo.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/nmspace.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/nmspace.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/parsing.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/parsing.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/staexp0.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/staexp0.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/staexp1.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/staexp1.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/staexp2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/staexp2.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/statyp2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/statyp2.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/synread.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/synread.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/tcomp30.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/tcomp30.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/trans01.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/trans01.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/trans12.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/trans12.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/trans23.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/trans23.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/trans33.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/trans33.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/trans34.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/trans34.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/trans3t.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/trans3t.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/trans3x.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/trans3x.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/trans4x.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/trans4x.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/tread01.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/tread01.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/tread12.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/tread12.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/tread23.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/tread23.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/tread33.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/tread33.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/tread34.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/tread34.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/tread3t.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/tread3t.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/tread3x.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/tread3x.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xatsopt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xatsopt.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xbasics.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xbasics.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xerrory.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xerrory.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xfixity.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xfixity.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xglobal.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xglobal.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xlabel0.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xlabel0.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xstamp0.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xstamp0.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xsymbol.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xsymbol.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xsymenv.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xsymenv.sats -------------------------------------------------------------------------------- /srcgen/xats/SATS/xsymmap.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/SATS/xsymmap.sats -------------------------------------------------------------------------------- /srcgen/xats/TEST/Makefile_prelude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/TEST/Makefile_prelude -------------------------------------------------------------------------------- /srcgen/xats/TEST/Makefile_test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/TEST/Makefile_test -------------------------------------------------------------------------------- /srcgen/xats/TEST/Makefile_xatslib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xats/TEST/Makefile_xatslib -------------------------------------------------------------------------------- /srcgen/xutl/DATS/Posix/cblist.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/DATS/Posix/cblist.dats -------------------------------------------------------------------------------- /srcgen/xutl/DATS/Posix/mylibc.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/DATS/Posix/mylibc.dats -------------------------------------------------------------------------------- /srcgen/xutl/DATS/Windows/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /srcgen/xutl/DATS/cblist.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/DATS/cblist.dats -------------------------------------------------------------------------------- /srcgen/xutl/SATS/Posix/cblist.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/SATS/Posix/cblist.sats -------------------------------------------------------------------------------- /srcgen/xutl/SATS/Windows/cblist.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/SATS/Windows/cblist.sats -------------------------------------------------------------------------------- /srcgen/xutl/SATS/cblist.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/SATS/cblist.sats -------------------------------------------------------------------------------- /srcgen/xutl/SATS/mylibc.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/SATS/mylibc.sats -------------------------------------------------------------------------------- /srcgen/xutl/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/TEST/Makefile -------------------------------------------------------------------------------- /srcgen/xutl/TEST/Posix/DATA/test_cblist.txt: -------------------------------------------------------------------------------- 1 | hello world 2 | 3 | for cblist?! 4 | -------------------------------------------------------------------------------- /srcgen/xutl/TEST/Posix/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/TEST/Posix/Makefile -------------------------------------------------------------------------------- /srcgen/xutl/TEST/Posix/test_cblist.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/TEST/Posix/test_cblist.dats -------------------------------------------------------------------------------- /srcgen/xutl/TEST/Posix/test_mylibc.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/TEST/Posix/test_mylibc.dats -------------------------------------------------------------------------------- /srcgen/xutl/TEST/cblist.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/srcgen/xutl/TEST/cblist.dats -------------------------------------------------------------------------------- /travis-ci/install-ats2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/travis-ci/install-ats2.sh -------------------------------------------------------------------------------- /travis-ci/travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/travis-ci/travis.yml -------------------------------------------------------------------------------- /xatslib/githwxi/DATS/dvdcnq.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/githwxi/DATS/dvdcnq.dats -------------------------------------------------------------------------------- /xatslib/githwxi/DATS/gtree1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/githwxi/DATS/gtree1.dats -------------------------------------------------------------------------------- /xatslib/githwxi/DATS/mygist.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/githwxi/DATS/mygist.dats -------------------------------------------------------------------------------- /xatslib/githwxi/DATS/mytest.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/githwxi/DATS/mytest.dats -------------------------------------------------------------------------------- /xatslib/githwxi/DATS/parcmbr1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/githwxi/DATS/parcmbr1.dats -------------------------------------------------------------------------------- /xatslib/githwxi/DATS/xdebug.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/githwxi/DATS/xdebug.dats -------------------------------------------------------------------------------- /xatslib/githwxi/SATS/githwxi.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/githwxi/SATS/githwxi.sats -------------------------------------------------------------------------------- /xatslib/githwxi/TEST/test-2020-03-21.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/githwxi/TEST/test-2020-03-21.dats -------------------------------------------------------------------------------- /xatslib/libc/DATS/CATS/JS/Node/basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/libc/DATS/CATS/JS/Node/basics.dats -------------------------------------------------------------------------------- /xatslib/libc/DATS/CATS/JS/Node/prelude.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/libc/DATS/CATS/JS/Node/prelude.cats -------------------------------------------------------------------------------- /xatslib/libc/DATS/CATS/Xint/basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/libc/DATS/CATS/Xint/basics.dats -------------------------------------------------------------------------------- /xatslib/libc/DATS/fpath.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/libc/DATS/fpath.dats -------------------------------------------------------------------------------- /xatslib/libc/DATS/gios.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/libc/DATS/gios.dats -------------------------------------------------------------------------------- /xatslib/libc/DATS/rand.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/libc/DATS/rand.dats -------------------------------------------------------------------------------- /xatslib/libc/DATS/stdio.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/libc/DATS/stdio.dats -------------------------------------------------------------------------------- /xatslib/libc/SATS/libc.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xanadu-lang/xanadu/HEAD/xatslib/libc/SATS/libc.sats --------------------------------------------------------------------------------