edlang/programs
2023-06-11 12:07:15 +02:00
..
example.ed require fully typed integers for now 2023-06-11 12:07:15 +02:00
ifelse.ed require fully typed integers for now 2023-06-11 12:07:15 +02:00
simple.ed require fully typed integers for now 2023-06-11 12:07:15 +02:00