peteraa 49bfd372d0 Add tests		2019-10-17 16:30:59 +02:00
..
basic	Delete arithmetic.s	2019-10-03 11:02:28 +02:00
programs	Add tests	2019-10-17 16:30:59 +02:00
theory	Add tests	2019-10-17 16:30:59 +02:00