GitHub - VictorTaelin/articles: Thoughts and stuff

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
0000-oracle-free-terms-are-turing-complete		0000-oracle-free-terms-are-turing-complete
0001-expressing-side-effects-with-recipes		0001-expressing-side-effects-with-recipes
0002-explaining-lambda-encodings-with-js		0002-explaining-lambda-encodings-with-js
0003-theorem-proving-vs-testing		0003-theorem-proving-vs-testing
0004-supercompilation-for-free		0004-supercompilation-for-free
README.md		README.md

Provide feedback