https://scanlibs.com/programming-languages-build-prove-compare/