mpri18-funcprog-tests

Tests supplémentaires pour le projet de programmation fonctionnelle du MPRI.

Les quatre tests fournis par défaut, ça permet pas de tester grand chose. Partageons nos tests ici !

Si vous voulez participer…

Envoyez-moi un mail/message sur IRC pour être ajouté·e au projet, ou
ouvrez une PR si vous avez la flemme de me demander les accès.

Voire, si vous avez pas de compte github, envoyez moi un mail avec le test.

C'est quoi, ce repo ?

Un partage de fichiers de tests pour un projet donné en cours au MPRI, un master d'informatique à Paris 7.

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
loop		loop
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
bool.exp		bool.exp
bool.lambda		bool.lambda
church.exp		church.exp
church.lambda		church.lambda
global.exp		global.exp
global.lambda		global.lambda
global_firstclass.exp		global_firstclass.exp
global_firstclass.lambda		global_firstclass.lambda
hello.exp		hello.exp
hello.lambda		hello.lambda
if_fib.exp		if_fib.exp
if_fib.lambda		if_fib.lambda
if_func.exp		if_func.exp
if_func.lambda		if_func.lambda
if_func_branch.exp		if_func_branch.exp
if_func_branch.lambda		if_func_branch.lambda
if_nested.exp		if_nested.exp
if_nested.lambda		if_nested.lambda
multi_args.exp		multi_args.exp
multi_args.lambda		multi_args.lambda
multi_args_rec.exp		multi_args_rec.exp
multi_args_rec.lambda		multi_args_rec.lambda
over_application.exp		over_application.exp
over_application.lambda		over_application.lambda
partial_eval.exp		partial_eval.exp
partial_eval.lambda		partial_eval.lambda
printprint.exp		printprint.exp
printprint.lambda		printprint.lambda
rec_factorial.exp		rec_factorial.exp
rec_factorial.lambda		rec_factorial.lambda
rec_fibo.exp		rec_fibo.exp
rec_fibo.lambda		rec_fibo.lambda
redef.exp		redef.exp
redef.lambda		redef.lambda
ren.exp		ren.exp
ren.lambda		ren.lambda
simple_call.exp		simple_call.exp
simple_call.lambda		simple_call.lambda
simple_if.exp		simple_if.exp
simple_if.lambda		simple_if.lambda
tuple_1tuple-1.exp		tuple_1tuple-1.exp
tuple_1tuple-1.lambda		tuple_1tuple-1.lambda
tuple_1tuple-2.exp		tuple_1tuple-2.exp
tuple_1tuple-2.lambda		tuple_1tuple-2.lambda
tuple_1tuple_fail1.lambda		tuple_1tuple_fail1.lambda
tuple_1tuple_fail2.lambda		tuple_1tuple_fail2.lambda
tuple_fib.exp		tuple_fib.exp
tuple_fib.lambda		tuple_fib.lambda
tuple_ren.exp		tuple_ren.exp
tuple_ren.lambda		tuple_ren.lambda
tuple_sequencing.exp		tuple_sequencing.exp
tuple_sequencing.lambda		tuple_sequencing.lambda
tuple_simple1.exp		tuple_simple1.exp
tuple_simple1.lambda		tuple_simple1.lambda
tuple_simple2.exp		tuple_simple2.exp
tuple_simple2.lambda		tuple_simple2.lambda
type_fail-if-valrestr.exp		type_fail-if-valrestr.exp
type_fail-if-valrestr.lambda		type_fail-if-valrestr.lambda
type_fail1.exp		type_fail1.exp
type_fail1.lambda		type_fail1.lambda
type_fail2.exp		type_fail2.exp
type_fail2.lambda		type_fail2.lambda
type_ok1.exp		type_ok1.exp
type_ok1.lambda		type_ok1.lambda
type_ok2.exp		type_ok2.exp
type_ok2.lambda		type_ok2.lambda

License

tobast/mpri18-funcprog-tests

Folders and files

Latest commit

History