├── Readme.md ├── amb ├── amb.scm ├── notebook-amb.scm ├── print-amb.scm ├── setbang.scm └── test1.scm ├── delim └── delim.scm ├── normal-form ├── nfeo-pretty.scm ├── sko.scm └── skolex.scm ├── once └── once.scm ├── prog ├── callcc.scm └── prog.scm ├── reflection └── one.scm ├── scheme-questions └── ccbang.scm ├── utils └── tester.scm └── valo ├── README ├── ck.scm ├── comptests.scm ├── fd.scm ├── fdtests.scm ├── matche.scm ├── miniKanren.scm ├── mk.scm ├── neq.scm ├── neqtests.scm ├── never-true.scm ├── paper-etc ├── lam.scm └── tracking.scm ├── testall.scm ├── tester.scm ├── tree-unify.scm ├── valo-cps-cc.scm ├── valo-normal.scm └── valo-quines-pretty.scm /Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/Readme.md -------------------------------------------------------------------------------- /amb/amb.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/amb/amb.scm -------------------------------------------------------------------------------- /amb/notebook-amb.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/amb/notebook-amb.scm -------------------------------------------------------------------------------- /amb/print-amb.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/amb/print-amb.scm -------------------------------------------------------------------------------- /amb/setbang.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/amb/setbang.scm -------------------------------------------------------------------------------- /amb/test1.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/amb/test1.scm -------------------------------------------------------------------------------- /delim/delim.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/delim/delim.scm -------------------------------------------------------------------------------- /normal-form/nfeo-pretty.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/normal-form/nfeo-pretty.scm -------------------------------------------------------------------------------- /normal-form/sko.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/normal-form/sko.scm -------------------------------------------------------------------------------- /normal-form/skolex.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/normal-form/skolex.scm -------------------------------------------------------------------------------- /once/once.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/once/once.scm -------------------------------------------------------------------------------- /prog/callcc.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/prog/callcc.scm -------------------------------------------------------------------------------- /prog/prog.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/prog/prog.scm -------------------------------------------------------------------------------- /reflection/one.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/reflection/one.scm -------------------------------------------------------------------------------- /scheme-questions/ccbang.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/scheme-questions/ccbang.scm -------------------------------------------------------------------------------- /utils/tester.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/utils/tester.scm -------------------------------------------------------------------------------- /valo/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/README -------------------------------------------------------------------------------- /valo/ck.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/ck.scm -------------------------------------------------------------------------------- /valo/comptests.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/comptests.scm -------------------------------------------------------------------------------- /valo/fd.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/fd.scm -------------------------------------------------------------------------------- /valo/fdtests.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/fdtests.scm -------------------------------------------------------------------------------- /valo/matche.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/matche.scm -------------------------------------------------------------------------------- /valo/miniKanren.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/miniKanren.scm -------------------------------------------------------------------------------- /valo/mk.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/mk.scm -------------------------------------------------------------------------------- /valo/neq.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/neq.scm -------------------------------------------------------------------------------- /valo/neqtests.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/neqtests.scm -------------------------------------------------------------------------------- /valo/never-true.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/never-true.scm -------------------------------------------------------------------------------- /valo/paper-etc/lam.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/paper-etc/lam.scm -------------------------------------------------------------------------------- /valo/paper-etc/tracking.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/paper-etc/tracking.scm -------------------------------------------------------------------------------- /valo/testall.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/testall.scm -------------------------------------------------------------------------------- /valo/tester.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/tester.scm -------------------------------------------------------------------------------- /valo/tree-unify.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/tree-unify.scm -------------------------------------------------------------------------------- /valo/valo-cps-cc.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/valo-cps-cc.scm -------------------------------------------------------------------------------- /valo/valo-normal.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/valo-normal.scm -------------------------------------------------------------------------------- /valo/valo-quines-pretty.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toddaaro/advanced-dan/HEAD/valo/valo-quines-pretty.scm --------------------------------------------------------------------------------