txyyss/Lambda-Calculus
An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
Developer Profile
txyyss
Discovered public repositories for txyyss in the GitHub catalog.
txyyss/dotfiles
My Emacs Settings
txyyss/GridMaze-Algorithm
Description of the algorithms used in my app GridMaze
txyyss/Project-Euler
Solutions for Project Euler
txyyss/Regular-Polytopes
Notes about Coxeter's "Regular Polytopes"
txyyss/Symmetries-of-Things
Notes about "The Symmetries of Things"
txyyss/Surreal-Number
My note and programs about surreal number created by John Horton Conway
txyyss/H-99
My solutions to "Ninety-Nine Haskell Problems"