Rename Boolean to Bool - Githubissues

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

Closed marvinborner closed 8 months ago

marvinborner commented 8 months ago

Related to PR https://github.com/effekt-lang/effekt/pull/420. This PR should be merged before syncing the effekt submodule.