├── .github └── ISSUE_TEMPLATE │ ├── bug_report.md │ └── feature_request.md ├── LICENSE ├── README.md ├── documentation ├── images │ ├── install_1.jpeg │ ├── install_2.jpeg │ ├── program_1.jpeg │ ├── program_2.jpeg │ ├── program_3.jpeg │ ├── racket_initial.jpeg │ └── racket_select_package.jpeg └── ranked_programming.pdf ├── examples ├── boolean_circuit.rkt ├── google-10000-english-no-swears.txt ├── hidden_markov.rkt ├── localisation.rkt ├── ranked_let.rkt ├── ranked_procedure_call.rkt ├── ranking_network.rkt ├── recursion.rkt └── spelling_correction.rkt ├── info.rkt ├── main.rkt ├── rp-api.rkt ├── rp-core.rkt ├── rp-test.rkt └── scribblings ├── manual-fonts.css ├── manual-racket.css ├── manual-racket.js ├── manual-style.css ├── racket.css ├── ranked-programming.html ├── ranked-programming.scrbl ├── scribble-common.js └── scribble.css /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/README.md -------------------------------------------------------------------------------- /documentation/images/install_1.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/documentation/images/install_1.jpeg -------------------------------------------------------------------------------- /documentation/images/install_2.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/documentation/images/install_2.jpeg -------------------------------------------------------------------------------- /documentation/images/program_1.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/documentation/images/program_1.jpeg -------------------------------------------------------------------------------- /documentation/images/program_2.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/documentation/images/program_2.jpeg -------------------------------------------------------------------------------- /documentation/images/program_3.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/documentation/images/program_3.jpeg -------------------------------------------------------------------------------- /documentation/images/racket_initial.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/documentation/images/racket_initial.jpeg -------------------------------------------------------------------------------- /documentation/images/racket_select_package.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/documentation/images/racket_select_package.jpeg -------------------------------------------------------------------------------- /documentation/ranked_programming.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/documentation/ranked_programming.pdf -------------------------------------------------------------------------------- /examples/boolean_circuit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/examples/boolean_circuit.rkt -------------------------------------------------------------------------------- /examples/google-10000-english-no-swears.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/examples/google-10000-english-no-swears.txt -------------------------------------------------------------------------------- /examples/hidden_markov.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/examples/hidden_markov.rkt -------------------------------------------------------------------------------- /examples/localisation.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/examples/localisation.rkt -------------------------------------------------------------------------------- /examples/ranked_let.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/examples/ranked_let.rkt -------------------------------------------------------------------------------- /examples/ranked_procedure_call.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/examples/ranked_procedure_call.rkt -------------------------------------------------------------------------------- /examples/ranking_network.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/examples/ranking_network.rkt -------------------------------------------------------------------------------- /examples/recursion.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/examples/recursion.rkt -------------------------------------------------------------------------------- /examples/spelling_correction.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/examples/spelling_correction.rkt -------------------------------------------------------------------------------- /info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/info.rkt -------------------------------------------------------------------------------- /main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/main.rkt -------------------------------------------------------------------------------- /rp-api.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/rp-api.rkt -------------------------------------------------------------------------------- /rp-core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/rp-core.rkt -------------------------------------------------------------------------------- /rp-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/rp-test.rkt -------------------------------------------------------------------------------- /scribblings/manual-fonts.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/scribblings/manual-fonts.css -------------------------------------------------------------------------------- /scribblings/manual-racket.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/scribblings/manual-racket.css -------------------------------------------------------------------------------- /scribblings/manual-racket.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/scribblings/manual-racket.js -------------------------------------------------------------------------------- /scribblings/manual-style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/scribblings/manual-style.css -------------------------------------------------------------------------------- /scribblings/racket.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/scribblings/racket.css -------------------------------------------------------------------------------- /scribblings/ranked-programming.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/scribblings/ranked-programming.html -------------------------------------------------------------------------------- /scribblings/ranked-programming.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/scribblings/ranked-programming.scrbl -------------------------------------------------------------------------------- /scribblings/scribble-common.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/scribblings/scribble-common.js -------------------------------------------------------------------------------- /scribblings/scribble.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tjitze/ranked-programming/HEAD/scribblings/scribble.css --------------------------------------------------------------------------------