infer voor statements
[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-- 785 identity(2).spl
-rw-r--r-- 94 infinite_type_shouldfail.spl
-rw-r--r-- 178 multiple_recursion.spl
-rw-r--r-- 331 multiple_recursion_values.spl
-rw-r--r-- 170 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