This repository is a container of my miscellaneous metaprogramming experiments. I ran out of name ideas for my tiny projects, so I started to number them instead.
XP01 - A minimalist proof system for propositional logic
XP02 - Under construction
The projects are written in JavaScript/TypeScript, and you need to install node.js to build and run them. Node v8 or higher is recommended. On Windows you will also need a Linux shell, e.g. git bash.
At the first time don't forget to install JavaScript dependencies.
npm i
Each src/xp..
directory contains a standalone project. They can be built from
the main directory. For example, to build XP01, type
make xp01
To find out how to run executables, look at the readme file of each project.