This repository has been archived on 2024-04-23. You can view files and clone it, but cannot push or open issues/pull-requests.

bog cd77e92682 ✨ node substitution and unification.		2023-10-10 18:32:12 +02:00
..
Lexer.cpp	✨ fol parser.	2023-10-10 15:29:22 +02:00
Node.cpp	✨ node substitution and unification.	2023-10-10 18:32:12 +02:00
Parser.cpp	✨ fol parser.	2023-10-10 15:29:22 +02:00
main.cpp	✨ fol parser.	2023-10-10 15:29:22 +02:00