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

Change log and deprecate Lifted #70

Closed b-studios closed 1 month ago

b-studios commented 1 month ago

Draft a quick and high-level change log, primarily targeted towards other researchers.

This is a sibling PR for https://github.com/effekt-lang/effekt/pull/616