Namaste

Morgon

Ave

morning

ehilà

@bronsa sembra interessante... anche solo capire che problema risolve

per il momento risolve il problema di farmi divertire un po’ con abstract interpretation :) poi vediamo se qualcosa di utile riesco a tirarcelo fuori

comunque non capisco di cosa fa l'infer. Vedo una defmacro e quello che sembra un esempio?

prende una lista di macro definitions, una espressione macroexpanded, e cerca di risalire a (una) form pre-macroexpansion

mmmh capito ora