search

zydeco-lang / zydeco

a proof-of-concept programming language based on Call-by-push-value
Other
49 stars 3 forks source link

Tutorial Material #33

Closed maxsnew closed 1 year ago

maxsnew commented 1 year ago

We should write some "Intro to Zydeco"/"Intro to Call-by-push-value" material that covers the basics OS, Thunk, Ret, ->, data, codata...

akaiDing commented 1 year ago

Should we use LaTex?

maxsnew commented 1 year ago

No I think we should just write example files with comments and/or markdown files with code examples.

akaiDing commented 1 year ago

All right!