issues
search
lambda-pi-meetup
/
talks
Propose a talk, rummage through the backlog or share an idea.
3
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
From Untyped to Simply Typed Lambda Calculus
#10
supersven
opened
6 years ago
6
Theorems For Free Slides
#9
Fabs
closed
6 years ago
0
Proposal: Theorems for Free
#8
Fabs
closed
6 years ago
4
Add link to slides
#7
supersven
closed
6 years ago
1
Add untyped_lambda_calculus.pdf
#6
supersven
closed
6 years ago
1
Proposal: Introduction to the Lambda Calculus
#5
supersven
closed
6 years ago
8
WTS: Let's get our hands dirty with code verification
#4
pheymann
opened
6 years ago
0
Proposal: Type classes - what they are and how they work
#3
pheymann
opened
6 years ago
0
WTS: How Proofs work in Idris
#2
pheymann
opened
6 years ago
0
WTS: Bartosz Category Theory Tour
#1
pheymann
opened
6 years ago
0