txyyss/Lambda-Calculus txyyss/Lambda-Calculus

  • Stars
    star
    387
  • Rank 110,971 (Top 3 %)
  • Language
    TeX
  • Created over 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
txyyss/Lambda-Calculus
github

txyyss

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An introduction to lambda calculus in Chinese, including an interpreter in Haskell.

Lambda-Calculus

An introduction to lambda calculus in Chinese, including an interpreter in Haskell.

All Rights Reserved.

More Repositories

1

FormalMath

A side project about formalization of mathematics.
Coq
6
star
2

polylink

A Blender Addon
Python
6
star
3

Project-Euler

Solutions for Project Euler
Haskell
6
star
4

GridMaze-Algorithm

Description of the algorithms used in my app GridMaze
3
star
5

Surreal-Number

My note and programs about surreal number created by John Horton Conway
Haskell
2
star
6

H-99

My solutions to "Ninety-Nine Haskell Problems"
Haskell
2
star
7

Symmetries-of-Things

Notes about "The Symmetries of Things"
2
star
8

Regular-Polytopes

Notes about Coxeter's "Regular Polytopes"
1
star
9

EmacsSettings

My Emacs Settings
Emacs Lisp
1
star