Name		Name	Last commit message	Last commit date
parent directory ..
.envrc		.envrc
.gitignore		.gitignore
.gitmessage		.gitmessage
README.md		README.md
info.rkt		info.rkt
lc.rkt		lc.rkt
main.rkt		main.rkt
nbe.rkt		nbe.rkt

README.md

normalization-by-evaluation

Tutorial: http://davidchristiansen.dk/tutorials/nbe/