├── DraTex.sty ├── Makefile ├── README.md ├── abstract.tex ├── acknowledgments.tex ├── ak.tex ├── akimpl.tex ├── akinferparserappendix.tex ├── alphatap.tex ├── arith.scm ├── arith.tex ├── conclusion.tex ├── dedication.tex ├── diseq.tex ├── diseqimpl.tex ├── dissertation_on_a_page.tex ├── divergence.tex ├── enginesappendix.tex ├── fancyvrb1.sty ├── ferns.tex ├── fernscode ├── !.ss ├── always-five.ss ├── append.ss ├── appendix-extra.ss ├── bind.ss ├── bottom.ss ├── car.ss ├── cartesian-example.ss ├── cartesian.ss ├── cdr.ss ├── cdrdollar.ss ├── coaxamb.ss ├── coaxappendix.ss ├── coaxchoose.ss ├── coaxexample-2.ss ├── coaxskcdr.ss ├── engines-tests.ss ├── engines.ss ├── fern.ss ├── ferns-tests.ss ├── ferns.ss ├── fmemq-example.ss ├── fmemq-example2.ss ├── fmemq.ss ├── frons.ss ├── intro-1.ss ├── intro-2.ss ├── ints.ss ├── intsfrom2.ss ├── lockedorunhuh.ss ├── map-example.ss ├── map.ss ├── mk-run.ss ├── mk-without-run.ss ├── mplus-fn.ss ├── mult-example.ss ├── mult.ss ├── mzerounit.ss ├── not-so-weird-sharing.ss ├── or-fn.ss ├── pmatch-appendix.ss ├── pmatch.ss ├── promote.ss ├── replacebang.ss ├── sharing-1.ss ├── spivey.ss ├── subst.ss ├── take.ss ├── testing.ss ├── tests.ss ├── wait.ss ├── weird-sharing-1.ss ├── weird-sharing-2.ss └── whypromotion.ss ├── fernsimpl.tex ├── foo.tex ├── future.tex ├── helpers.tex ├── inferencer.scm ├── intro.tex ├── lambdae.scm ├── macros.tex ├── matche.tex ├── mk.scm ├── mkimpl.tex ├── mkintro.tex ├── newumatch.scm ├── oldarith.tex ├── organization.tex ├── pmatch.tex ├── preface.tex ├── reducer.tex ├── related.tex ├── runquasi.pl ├── scmlate ├── COPYING ├── INSTALL ├── README ├── clmacros.cl ├── clnames.cl ├── clprocs.cl ├── history ├── index.tex ├── makefile ├── manifest ├── mbe-procs.cl ├── sample.configure ├── scm2cl.cl ├── scm2cl.tex ├── scmxlate-version.tex ├── scmxlate.cl └── scmxlate.scm ├── simpleexamples.tex ├── slatex.sty ├── slatex ├── COPYING ├── INSTALL ├── README ├── callsla.scm ├── cltl.sty ├── defun.tex ├── dialects │ ├── bigloo-slatex-src.scm │ ├── chez-slatex-src.scm │ ├── cl-slatex-src.scm │ ├── dialects-supported.scm │ ├── files-to-be-ported.scm │ ├── gambit-slatex-src.scm │ ├── guile-slatex-src.scm │ ├── make-callsla.scm │ ├── make-echo-script.scm │ ├── make-qualified-names.scm │ ├── mitscheme-slatex-src.scm │ ├── mzscheme-slatex-src.scm │ ├── operating-systems-supported.scm │ ├── other-slatex-src.scm │ ├── petite-slatex-src.scm │ ├── plt-slatex-src.scm │ ├── scm-slatex-src.scm │ ├── scsh-slatex-src.scm │ ├── sxm-slatex-src.scm │ └── umbscheme-slatex-src.scm ├── history ├── makefile ├── manifest ├── scmxlate-slatex-src.scm ├── slatex ├── slatex-src.scm ├── slatex.scm ├── slatex.sty ├── slatxdoc.bib ├── slatxdoc.t2p ├── slatxdoc.tex ├── tex2page.tex └── version.tex ├── tabling.tex ├── tablingimpl.tex ├── thesis.bib ├── thesis.pdf ├── thesis.tex ├── to_do.txt ├── umatch.scm ├── vita.tex ├── walkimpl.tex └── xeslatex /DraTex.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/DraTex.sty -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/README.md -------------------------------------------------------------------------------- /abstract.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/abstract.tex -------------------------------------------------------------------------------- /acknowledgments.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/acknowledgments.tex -------------------------------------------------------------------------------- /ak.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/ak.tex -------------------------------------------------------------------------------- /akimpl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/akimpl.tex -------------------------------------------------------------------------------- /akinferparserappendix.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/akinferparserappendix.tex -------------------------------------------------------------------------------- /alphatap.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/alphatap.tex -------------------------------------------------------------------------------- /arith.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/arith.scm -------------------------------------------------------------------------------- /arith.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/arith.tex -------------------------------------------------------------------------------- /conclusion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/conclusion.tex -------------------------------------------------------------------------------- /dedication.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/dedication.tex -------------------------------------------------------------------------------- /diseq.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/diseq.tex -------------------------------------------------------------------------------- /diseqimpl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/diseqimpl.tex -------------------------------------------------------------------------------- /dissertation_on_a_page.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/dissertation_on_a_page.tex -------------------------------------------------------------------------------- /divergence.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/divergence.tex -------------------------------------------------------------------------------- /enginesappendix.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/enginesappendix.tex -------------------------------------------------------------------------------- /fancyvrb1.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fancyvrb1.sty -------------------------------------------------------------------------------- /ferns.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/ferns.tex -------------------------------------------------------------------------------- /fernscode/!.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/!.ss -------------------------------------------------------------------------------- /fernscode/always-five.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/always-five.ss -------------------------------------------------------------------------------- /fernscode/append.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/append.ss -------------------------------------------------------------------------------- /fernscode/appendix-extra.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/appendix-extra.ss -------------------------------------------------------------------------------- /fernscode/bind.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/bind.ss -------------------------------------------------------------------------------- /fernscode/bottom.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/bottom.ss -------------------------------------------------------------------------------- /fernscode/car.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/car.ss -------------------------------------------------------------------------------- /fernscode/cartesian-example.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/cartesian-example.ss -------------------------------------------------------------------------------- /fernscode/cartesian.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/cartesian.ss -------------------------------------------------------------------------------- /fernscode/cdr.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/cdr.ss -------------------------------------------------------------------------------- /fernscode/cdrdollar.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/cdrdollar.ss -------------------------------------------------------------------------------- /fernscode/coaxamb.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/coaxamb.ss -------------------------------------------------------------------------------- /fernscode/coaxappendix.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/coaxappendix.ss -------------------------------------------------------------------------------- /fernscode/coaxchoose.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/coaxchoose.ss -------------------------------------------------------------------------------- /fernscode/coaxexample-2.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/coaxexample-2.ss -------------------------------------------------------------------------------- /fernscode/coaxskcdr.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/coaxskcdr.ss -------------------------------------------------------------------------------- /fernscode/engines-tests.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/engines-tests.ss -------------------------------------------------------------------------------- /fernscode/engines.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/engines.ss -------------------------------------------------------------------------------- /fernscode/fern.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/fern.ss -------------------------------------------------------------------------------- /fernscode/ferns-tests.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/ferns-tests.ss -------------------------------------------------------------------------------- /fernscode/ferns.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/ferns.ss -------------------------------------------------------------------------------- /fernscode/fmemq-example.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/fmemq-example.ss -------------------------------------------------------------------------------- /fernscode/fmemq-example2.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/fmemq-example2.ss -------------------------------------------------------------------------------- /fernscode/fmemq.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/fmemq.ss -------------------------------------------------------------------------------- /fernscode/frons.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/frons.ss -------------------------------------------------------------------------------- /fernscode/intro-1.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/intro-1.ss -------------------------------------------------------------------------------- /fernscode/intro-2.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/intro-2.ss -------------------------------------------------------------------------------- /fernscode/ints.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/ints.ss -------------------------------------------------------------------------------- /fernscode/intsfrom2.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/intsfrom2.ss -------------------------------------------------------------------------------- /fernscode/lockedorunhuh.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/lockedorunhuh.ss -------------------------------------------------------------------------------- /fernscode/map-example.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/map-example.ss -------------------------------------------------------------------------------- /fernscode/map.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/map.ss -------------------------------------------------------------------------------- /fernscode/mk-run.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/mk-run.ss -------------------------------------------------------------------------------- /fernscode/mk-without-run.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/mk-without-run.ss -------------------------------------------------------------------------------- /fernscode/mplus-fn.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/mplus-fn.ss -------------------------------------------------------------------------------- /fernscode/mult-example.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/mult-example.ss -------------------------------------------------------------------------------- /fernscode/mult.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/mult.ss -------------------------------------------------------------------------------- /fernscode/mzerounit.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/mzerounit.ss -------------------------------------------------------------------------------- /fernscode/not-so-weird-sharing.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/not-so-weird-sharing.ss -------------------------------------------------------------------------------- /fernscode/or-fn.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/or-fn.ss -------------------------------------------------------------------------------- /fernscode/pmatch-appendix.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/pmatch-appendix.ss -------------------------------------------------------------------------------- /fernscode/pmatch.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/pmatch.ss -------------------------------------------------------------------------------- /fernscode/promote.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/promote.ss -------------------------------------------------------------------------------- /fernscode/replacebang.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/replacebang.ss -------------------------------------------------------------------------------- /fernscode/sharing-1.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/sharing-1.ss -------------------------------------------------------------------------------- /fernscode/spivey.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/spivey.ss -------------------------------------------------------------------------------- /fernscode/subst.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/subst.ss -------------------------------------------------------------------------------- /fernscode/take.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/take.ss -------------------------------------------------------------------------------- /fernscode/testing.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/testing.ss -------------------------------------------------------------------------------- /fernscode/tests.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/tests.ss -------------------------------------------------------------------------------- /fernscode/wait.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/wait.ss -------------------------------------------------------------------------------- /fernscode/weird-sharing-1.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/weird-sharing-1.ss -------------------------------------------------------------------------------- /fernscode/weird-sharing-2.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/weird-sharing-2.ss -------------------------------------------------------------------------------- /fernscode/whypromotion.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernscode/whypromotion.ss -------------------------------------------------------------------------------- /fernsimpl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/fernsimpl.tex -------------------------------------------------------------------------------- /foo.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/foo.tex -------------------------------------------------------------------------------- /future.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/future.tex -------------------------------------------------------------------------------- /helpers.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/helpers.tex -------------------------------------------------------------------------------- /inferencer.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/inferencer.scm -------------------------------------------------------------------------------- /intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/intro.tex -------------------------------------------------------------------------------- /lambdae.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/lambdae.scm -------------------------------------------------------------------------------- /macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/macros.tex -------------------------------------------------------------------------------- /matche.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/matche.tex -------------------------------------------------------------------------------- /mk.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/mk.scm -------------------------------------------------------------------------------- /mkimpl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/mkimpl.tex -------------------------------------------------------------------------------- /mkintro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/mkintro.tex -------------------------------------------------------------------------------- /newumatch.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/newumatch.scm -------------------------------------------------------------------------------- /oldarith.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/oldarith.tex -------------------------------------------------------------------------------- /organization.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/organization.tex -------------------------------------------------------------------------------- /pmatch.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/pmatch.tex -------------------------------------------------------------------------------- /preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/preface.tex -------------------------------------------------------------------------------- /reducer.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/reducer.tex -------------------------------------------------------------------------------- /related.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/related.tex -------------------------------------------------------------------------------- /runquasi.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/runquasi.pl -------------------------------------------------------------------------------- /scmlate/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/COPYING -------------------------------------------------------------------------------- /scmlate/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/INSTALL -------------------------------------------------------------------------------- /scmlate/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/README -------------------------------------------------------------------------------- /scmlate/clmacros.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/clmacros.cl -------------------------------------------------------------------------------- /scmlate/clnames.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/clnames.cl -------------------------------------------------------------------------------- /scmlate/clprocs.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/clprocs.cl -------------------------------------------------------------------------------- /scmlate/history: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/history -------------------------------------------------------------------------------- /scmlate/index.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/index.tex -------------------------------------------------------------------------------- /scmlate/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/makefile -------------------------------------------------------------------------------- /scmlate/manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/manifest -------------------------------------------------------------------------------- /scmlate/mbe-procs.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/mbe-procs.cl -------------------------------------------------------------------------------- /scmlate/sample.configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/sample.configure -------------------------------------------------------------------------------- /scmlate/scm2cl.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/scm2cl.cl -------------------------------------------------------------------------------- /scmlate/scm2cl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/scm2cl.tex -------------------------------------------------------------------------------- /scmlate/scmxlate-version.tex: -------------------------------------------------------------------------------- 1 | 20090410% last change 2 | -------------------------------------------------------------------------------- /scmlate/scmxlate.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/scmxlate.cl -------------------------------------------------------------------------------- /scmlate/scmxlate.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/scmlate/scmxlate.scm -------------------------------------------------------------------------------- /simpleexamples.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/simpleexamples.tex -------------------------------------------------------------------------------- /slatex.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex.sty -------------------------------------------------------------------------------- /slatex/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/COPYING -------------------------------------------------------------------------------- /slatex/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/INSTALL -------------------------------------------------------------------------------- /slatex/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/README -------------------------------------------------------------------------------- /slatex/callsla.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/callsla.scm -------------------------------------------------------------------------------- /slatex/cltl.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/cltl.sty -------------------------------------------------------------------------------- /slatex/defun.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/defun.tex -------------------------------------------------------------------------------- /slatex/dialects/bigloo-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/bigloo-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/chez-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/chez-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/cl-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/cl-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/dialects-supported.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/dialects-supported.scm -------------------------------------------------------------------------------- /slatex/dialects/files-to-be-ported.scm: -------------------------------------------------------------------------------- 1 | slatex-src.scm 2 | -------------------------------------------------------------------------------- /slatex/dialects/gambit-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/gambit-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/guile-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/guile-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/make-callsla.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/make-callsla.scm -------------------------------------------------------------------------------- /slatex/dialects/make-echo-script.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/make-echo-script.scm -------------------------------------------------------------------------------- /slatex/dialects/make-qualified-names.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/make-qualified-names.scm -------------------------------------------------------------------------------- /slatex/dialects/mitscheme-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/mitscheme-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/mzscheme-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/mzscheme-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/operating-systems-supported.scm: -------------------------------------------------------------------------------- 1 | unix 2 | windows 3 | -------------------------------------------------------------------------------- /slatex/dialects/other-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/other-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/petite-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/petite-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/plt-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/plt-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/scm-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/scm-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/scsh-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/scsh-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/sxm-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/sxm-slatex-src.scm -------------------------------------------------------------------------------- /slatex/dialects/umbscheme-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/dialects/umbscheme-slatex-src.scm -------------------------------------------------------------------------------- /slatex/history: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/history -------------------------------------------------------------------------------- /slatex/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/makefile -------------------------------------------------------------------------------- /slatex/manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/manifest -------------------------------------------------------------------------------- /slatex/scmxlate-slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/scmxlate-slatex-src.scm -------------------------------------------------------------------------------- /slatex/slatex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/slatex -------------------------------------------------------------------------------- /slatex/slatex-src.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/slatex-src.scm -------------------------------------------------------------------------------- /slatex/slatex.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/slatex.scm -------------------------------------------------------------------------------- /slatex/slatex.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/slatex.sty -------------------------------------------------------------------------------- /slatex/slatxdoc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/slatxdoc.bib -------------------------------------------------------------------------------- /slatex/slatxdoc.t2p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/slatxdoc.t2p -------------------------------------------------------------------------------- /slatex/slatxdoc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/slatxdoc.tex -------------------------------------------------------------------------------- /slatex/tex2page.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/slatex/tex2page.tex -------------------------------------------------------------------------------- /slatex/version.tex: -------------------------------------------------------------------------------- 1 | 20090928%last modified 2 | -------------------------------------------------------------------------------- /tabling.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/tabling.tex -------------------------------------------------------------------------------- /tablingimpl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/tablingimpl.tex -------------------------------------------------------------------------------- /thesis.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/thesis.bib -------------------------------------------------------------------------------- /thesis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/thesis.pdf -------------------------------------------------------------------------------- /thesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/thesis.tex -------------------------------------------------------------------------------- /to_do.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/to_do.txt -------------------------------------------------------------------------------- /umatch.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/umatch.scm -------------------------------------------------------------------------------- /vita.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/vita.tex -------------------------------------------------------------------------------- /walkimpl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/walkimpl.tex -------------------------------------------------------------------------------- /xeslatex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/dissertation-single-spaced/HEAD/xeslatex --------------------------------------------------------------------------------