Ellen Arvidsson e036fa16f8 recursive lockstep example		2025-06-13 17:36:36 +02:00
..
non-parse	starting to add code for name bindings	2025-05-23 14:02:51 +02:00
subt	recursive lockstep example	2025-06-13 17:36:36 +02:00
ex1.msph	parsing prefix version (binary operators) of msph	2025-04-22 21:08:03 +03:00
ex2.msph	parsing prefix version (binary operators) of msph	2025-04-22 21:08:03 +03:00
ex3.msph	parsing prefix version (binary operators) of msph	2025-04-22 21:08:03 +03:00
ex4.msph	sphophi decorating with types	2025-05-01 18:16:10 +02:00
ex5.msph	added type grammar to readme, add example, del spho loc	2025-05-05 13:05:03 +02:00