cotalks.dev
Orgs
Login
Lambda calculus, church encoding
(link)
Event:
FP Course
|
2019
Channel:
The Rolling Scopes
note
generate note
unsorted
todo
resolved
completed
canceled
submit