intro
Semplificazione di una semplice espressione aritmetica. Materiale
relativo all'introduzione del libro.
fol3
Esempio minimale: "teoria" dell'addizione per dell'aritmentica
modulo 3. Implementazione di:
1. linguaggio (termini e formule);
2. modello;
3. interpretazione del linguaggio nel modello.
fol0
Primo passo verso una versione modulare. Stesso esempio di fol3, ma
organizzato in file separati. Aggiunta l'interpretazione
dell'inverso. Inoltre aggiunti due modelli: booleani e aritmetica
modulo 4.
fol1
Ulteriore guadagno di composizionalità. Implementazione di tre modelli:
1. addizione nell'aritmetica modulo 3;
2. grafo non orientato;
3. grafo orientato.
generic
Bozza per un sistema generico.