Yannick Reiß 02136bd0b9 Change name of main file		2023-10-21 00:39:21 +02:00
..
include	BUG: Token array now terminated by \0	2023-10-21 00:36:12 +02:00
src	Change name of main file	2023-10-21 00:39:21 +02:00
.gitignore	Add gitignore file	2023-09-22 15:22:16 +02:00
Makefile	Change name of main file	2023-10-21 00:39:21 +02:00
proof.md	Addition to proof of correctness	2023-10-04 10:06:58 +02:00
test.bf	Example program	2023-10-05 15:02:40 +02:00