small update so that retyping works
[cc1516.git] / examples / Markus /
drwxr-xr-x   ..
-rw-r--r-- 222 assignment_to_builtin.spl
-rw-r--r-- 1007 higher_order_functions.spl
-rw-r--r-- 739 identity(2).spl
-rw-r--r-- 94 infinite_type_shouldfail.spl
-rw-r--r-- 156 multiple_recursion.spl
-rw-r--r-- 331 multiple_recursion_values.spl
-rw-r--r-- 148 overloading.spl
-rw-r--r-- 193 polymorphic_value_again_shouldfail.spl
-rw-r--r-- 391 polymorphic_value_shouldfail.spl
-rw-r--r-- 335 recursion.spl
-rw-r--r-- 133 self_application_shouldfail(1).spl
-rw-r--r-- 245 stress_test.spl