Issues
- 3
Hmm...I can't seem to do a pull request for some reason. New to Github....
#60 opened by Francesco601 - 3
- 1
- 1
- 0
Add a license to the repository
#54 opened by haohanyang - 3
Add Program analysis
#47 opened by MarisaKirisame - 1
Add miniKanren
#49 opened by damodharanj - 1
- 1
what is the 'B' denote in "BTLS - The Little Schemer - Daniel P. Friedman, Matthias Felleisen"
#48 opened by xieyuheng - 1
lambda pi looks like 入门?
#38 opened by zaoqi-unsafe - 0
lambda pi looks like 入门?
#41 opened by zaoqi-unsafe - 0
lambda pi looks like 入门?
#40 opened by zaoqi-unsafe - 0
lambda pi looks like 入门?
#39 opened by zaoqi-unsafe - 1
I did see the engine files from this project, and really recommend this also will fork to my related css project,
#34 opened by yaoguangluo - 8
Add effect paper
#31 opened by MarisaKirisame - 1
Link broken for: Advanced Modern Algebra
#32 opened by sourabhtk37 - 2
"The Dragon Book"
#13 opened by tombusby - 5
Is this really a path?
#14 opened by bitemyapp - 2
steshaw.org is not accessible
#29 opened by baybatu - 1
Many links are broken
#16 opened by audiolion - 1
Link text too slim in Chrome and IE
#8 opened by drasive - 1
Add some simpler algebra books
#11 opened by psibi - 2