Rename Boolean to Bool - Githubissues

effekt-lang / effekt

A research language with effect handlers and lightweight effect polymorphism

https://effekt-lang.org

MIT License

294 stars 14 forks source link

Closed marvinborner closed 2 months ago

marvinborner commented 2 months ago

This PR is the first step towards closing (not yet though) #287.