├── README.md ├── mk.scm ├── mkextraforms.scm ├── mkprelude.scm └── mktests.scm /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/miniKanren/TheReasonedSchemer/HEAD/README.md -------------------------------------------------------------------------------- /mk.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/miniKanren/TheReasonedSchemer/HEAD/mk.scm -------------------------------------------------------------------------------- /mkextraforms.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/miniKanren/TheReasonedSchemer/HEAD/mkextraforms.scm -------------------------------------------------------------------------------- /mkprelude.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/miniKanren/TheReasonedSchemer/HEAD/mkprelude.scm -------------------------------------------------------------------------------- /mktests.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/miniKanren/TheReasonedSchemer/HEAD/mktests.scm --------------------------------------------------------------------------------