Mangle – a language for deductive database programminggithub.com/google103 pointssimonpure10 months ago