yannickreiss 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