Francesco Mecca a5ed95b86d seems ok		2019-08-12 12:27:14 +02:00
alg.py	seems ok	2019-08-12 12:27:14 +02:00
cards.ml	snd	2019-08-04 09:06:59 +02:00
main.ml	assert is_valid	2019-08-05 16:38:48 +02:00