Commit Graph

3 Commits (main)

Author SHA1 Message Date
bog cd77e92682 node substitution and unification. 2023-10-10 18:32:12 +02:00
bog 93f7430e11 fol parser. 2023-10-10 15:29:22 +02:00
bog 3fe44655cd Initial commit 2023-10-09 20:47:49 +00:00