Also have a look into their IDE, https://coalton-lang.github.io/20260424-mine/