search

effekt-lang / effekt-website

Website of the Effekt programming language
https://effekt-lang.github.io/effekt-website
MIT License
4 stars 6 forks source link

Port introduction to first-class values and boxing #58

Closed b-studios closed 2 weeks ago

b-studios commented 4 months ago

We had some explanations on System C, that would be nice to be ported / used as inspiration for the effekt-lang website:

https://se-tuebingen.github.io/oopsla-2022-artifact/tutorial/

jiribenes commented 1 month ago

Being ported as part of https://github.com/effekt-lang/effekt/pull/536 and https://github.com/effekt-lang/effekt/issues/571.

jiribenes commented 2 weeks ago

Ported as part of the Tour + the Scheduler case study.