5 commits

Author	SHA1	Message	Date
Mylloon	1305a867f8	use separated list	2022-12-23 05:03:40 +01:00
Mylloon	378b054812	update tests	2022-12-08 21:30:56 +01:00
Mylloon	86b5577385	add spacing	2022-12-08 00:17:54 +01:00
Mylloon	697b36c333	add menhir files to archive	2022-12-06 20:42:53 +01:00
Mylloon	a37aba9177	add gitignore and makefile	2022-12-06 20:38:09 +01:00