4 ms·Sounds like a delightful blend of Agda and Prolog.by aaronblohowiak 15y agoSounds like a delightful blend of Agda and Prolog.