Index of /~jcf/ens/compil/projet/tests/typing/bad

	Name	Last modified	Size	Description
	Parent Directory		-
	bad.split	2024-10-29 22:11	1.6K
	testfile-effect-6.koka	2024-10-29 22:11	114
	testfile-effect-7.koka	2024-10-29 22:11	111
	testfile-effect-4.koka	2024-10-29 22:11	93
	testfile-div-3.koka	2024-10-29 22:11	71
	testfile-div-2.koka	2024-10-29 22:11	71
	testfile-return-2.koka	2024-10-29 22:11	66
	testfile-effect-5.koka	2024-10-29 22:11	63
	testfile-effect-3.koka	2024-10-29 22:11	56
	testfile-mutable-1.koka	2024-10-29 22:11	46
	testfile-scope-2.koka	2024-10-29 22:11	45
	testfile-param-3.koka	2024-10-29 22:11	45
	testfile-param-2.koka	2024-10-29 22:11	43
	testfile-if-1.koka	2024-10-29 22:11	43
	testfile-scope-1.koka	2024-10-29 22:11	41
	testfile-effect-1.koka	2024-10-29 22:11	40
	testfile-while-2.koka	2024-10-29 22:11	39
	testfile-repeat-3.koka	2024-10-29 22:11	39
	testfile-fn-1.koka	2024-10-29 22:11	39
	testfile-while-1.koka	2024-10-29 22:11	38
	testfile-repeat-4.koka	2024-10-29 22:11	38
	testfile-param-1.koka	2024-10-29 22:11	38
	testfile-return-1.koka	2024-10-29 22:11	37
	testfile-operators-2.koka	2024-10-29 22:11	34
	testfile-operators-1.koka	2024-10-29 22:11	34
	testfile-effect-2.koka	2024-10-29 22:11	34
	testfile-for-1.koka	2024-10-29 22:11	32
	testfile-div-1.koka	2024-10-29 22:11	29
	testfile-repeat-2.koka	2024-10-29 22:11	27
	testfile-main-1.koka	2024-10-29 22:11	23
	testfile-repeat-1.koka	2024-10-29 22:11	22
	testfile-missing_main-1.koka	2024-10-29 22:11	1