https://git.martlubbers.net - cc1516.git/commit

Small improvements, some errors here and there

Unnamed repository; edit this file 'description' to name the repository.

examples/Markus/identity(2).spl		diff \| blob \| history
examples/Markus/infinite_type_shouldfail.spl		diff \| blob \| history
examples/Markus/overloading.spl		diff \| blob \| history
examples/Markus/polymorphic_value_again_shouldfail.spl		diff \| blob \| history
examples/Markus/polymorphic_value_shouldfail.spl		diff \| blob \| history
examples/Markus/recursion.spl		diff \| blob \| history
examples/Markus/self_application_shouldfail(1).spl		diff \| blob \| history
examples/Markus/stress_test.spl		diff \| blob \| history
sem.icl		diff \| blob \| history