txyyss/Lambda-Calculus
An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
Notes about Coxeter's "Regular Polytopes"
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
My Emacs Settings
Description of the algorithms used in my app GridMaze
Solutions for Project Euler