Skip to content
GitLab

[wip] towards typechecking using sorbet

Open o@ungehorsam.ch requested to merge sorbet into master

playing around a bit with sorbet.

I quite like it, but it needs centos 8, due to glibc dependency...