├── .gitignore ├── .travis.yml ├── .vscode └── database.json ├── LICENSE ├── README.md ├── docs └── heresy.scrbl ├── examples ├── 99bottles.rkt ├── brainfuck.rkt ├── cards.rkt ├── celebrate.rkt ├── collatz.rkt ├── cons-things.rkt ├── do-action.rkt ├── fact.rkt ├── fizzbuzz.rkt ├── hole-test.rkt ├── id-do.rkt ├── list-do.rkt ├── option-type.rkt └── pipeland.rkt ├── info.rkt ├── lang └── reader.rkt ├── lib ├── hole.rkt ├── identity.rkt ├── infix-math.rkt ├── list.rkt ├── math.rkt ├── maybe.rkt ├── monadology.rkt ├── pipes.rkt ├── require-stuff.rkt ├── string.rkt ├── theory.rkt └── things.rkt ├── main.rkt ├── private ├── base.rkt ├── io.rkt └── random.rkt └── tests ├── Y.rkt ├── app.rkt ├── infix-math.rkt └── things.rkt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/.travis.yml -------------------------------------------------------------------------------- /.vscode/database.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/README.md -------------------------------------------------------------------------------- /docs/heresy.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/docs/heresy.scrbl -------------------------------------------------------------------------------- /examples/99bottles.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/99bottles.rkt -------------------------------------------------------------------------------- /examples/brainfuck.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/brainfuck.rkt -------------------------------------------------------------------------------- /examples/cards.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/cards.rkt -------------------------------------------------------------------------------- /examples/celebrate.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/celebrate.rkt -------------------------------------------------------------------------------- /examples/collatz.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/collatz.rkt -------------------------------------------------------------------------------- /examples/cons-things.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/cons-things.rkt -------------------------------------------------------------------------------- /examples/do-action.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/do-action.rkt -------------------------------------------------------------------------------- /examples/fact.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/fact.rkt -------------------------------------------------------------------------------- /examples/fizzbuzz.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/fizzbuzz.rkt -------------------------------------------------------------------------------- /examples/hole-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/hole-test.rkt -------------------------------------------------------------------------------- /examples/id-do.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/id-do.rkt -------------------------------------------------------------------------------- /examples/list-do.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/list-do.rkt -------------------------------------------------------------------------------- /examples/option-type.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/option-type.rkt -------------------------------------------------------------------------------- /examples/pipeland.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/examples/pipeland.rkt -------------------------------------------------------------------------------- /info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/info.rkt -------------------------------------------------------------------------------- /lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lang/reader.rkt -------------------------------------------------------------------------------- /lib/hole.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/hole.rkt -------------------------------------------------------------------------------- /lib/identity.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/identity.rkt -------------------------------------------------------------------------------- /lib/infix-math.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/infix-math.rkt -------------------------------------------------------------------------------- /lib/list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/list.rkt -------------------------------------------------------------------------------- /lib/math.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/math.rkt -------------------------------------------------------------------------------- /lib/maybe.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/maybe.rkt -------------------------------------------------------------------------------- /lib/monadology.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/monadology.rkt -------------------------------------------------------------------------------- /lib/pipes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/pipes.rkt -------------------------------------------------------------------------------- /lib/require-stuff.rkt: -------------------------------------------------------------------------------- 1 | #lang racket/base 2 | (provide only-in for-syntax) 3 | -------------------------------------------------------------------------------- /lib/string.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/string.rkt -------------------------------------------------------------------------------- /lib/theory.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/theory.rkt -------------------------------------------------------------------------------- /lib/things.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/lib/things.rkt -------------------------------------------------------------------------------- /main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/main.rkt -------------------------------------------------------------------------------- /private/base.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/private/base.rkt -------------------------------------------------------------------------------- /private/io.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/private/io.rkt -------------------------------------------------------------------------------- /private/random.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/private/random.rkt -------------------------------------------------------------------------------- /tests/Y.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/tests/Y.rkt -------------------------------------------------------------------------------- /tests/app.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/tests/app.rkt -------------------------------------------------------------------------------- /tests/infix-math.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/tests/infix-math.rkt -------------------------------------------------------------------------------- /tests/things.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jarcane/heresy/HEAD/tests/things.rkt --------------------------------------------------------------------------------