search

FP-North-East / session-proposals

A place to suggest and grow future sessions for FP North East
Apache License 2.0
0 stars 0 forks source link

lambda calculus and the simply typed lambda calculus #26

Open darrenjw opened 2 years ago