5 Commits

Author	SHA1	Message	Date
folex	e4fd7a505c	Better square braces parsing (#15)	2020-11-05 15:13:11 +03:00
folex	1786ab8f4b	LALRPOP parser for AIR (#13)	2020-11-03 17:43:58 +03:00
vms	fbca76444b	New data format (#12)	2020-10-30 20:29:05 +03:00
vms	4038d098e0	Call evidence (#9)	2020-10-15 17:31:56 +03:00
vms	6e754f023f	Introduce Seq, Par, Fold instructions (#5)	2020-10-08 12:43:23 +03:00