Added examples from markus
authorpimjager <pim@pimjager.nl>
Wed, 13 Apr 2016 19:01:50 +0000 (21:01 +0200)
committerpimjager <pim@pimjager.nl>
Wed, 13 Apr 2016 19:01:50 +0000 (21:01 +0200)
commite641250705517611f422540d8ba3fe021e6068b3
tree09884987e2f255c12e860a8f8c1335be98763f19
parent79bfc0933c6ce1f97930053d7a1090e90dd618f1
Added examples from markus
13 files changed:
examples/Markus/assignment_to_builtin.spl [new file with mode: 0644]
examples/Markus/higher_order_functions.spl [new file with mode: 0644]
examples/Markus/identity(2).spl [new file with mode: 0644]
examples/Markus/infinite_type_shouldfail.spl [new file with mode: 0644]
examples/Markus/multiple_recursion.spl [new file with mode: 0644]
examples/Markus/multiple_recursion_values.spl [new file with mode: 0644]
examples/Markus/overloading.spl [new file with mode: 0644]
examples/Markus/polymorphic_value_again_shouldfail.spl [new file with mode: 0644]
examples/Markus/polymorphic_value_shouldfail.spl [new file with mode: 0644]
examples/Markus/recursion.spl [new file with mode: 0644]
examples/Markus/self_application_shouldfail(1).spl [new file with mode: 0644]
examples/Markus/stress_test.spl [new file with mode: 0644]
sem.icl