This website is generated from a set of markdown files using a simple shell script like this. Read the design philosophy here. The random links below are in alphabetical order of their title.
｜ Artificial Intelligence ｜ Bayes Theorem ｜ Chicken ｜ Coq Tactics ｜ Lambda Calculus to De Bruijn Compiler ｜ How is this site deployed? ｜ Fall20 ｜ How to use gitignore ｜ Greek alphabet ｜ An Axiomatic Basis for Computer Programming ｜ Indian Number System ｜ Kaplansky ｜ Untyped Lambda Calculus ｜ The Lambda Lecture ｜ Random Links ｜ Movies ｜ NGXS ｜ ASCII Art for Pacman Grid Generation ｜ Matching Parenthesis checker in Racket ｜ Proving things ｜ Random Links ｜ Random Wikipedia Links ｜ Software ｜ Songs ｜ Statistics ｜ TAPL1 ｜ Type Systems ｜ Typescript ｜ List of presidents of the United States ｜