4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Timothée Floure	e4394e8994	Add minimal README	2019-10-30 16:09:46 +01:00
Timothée Floure	af83096a5b	Add missing Gitlab CI configuration	2019-10-30 15:35:47 +01:00
Timothée Floure	154d95f5d7	Add missing gitignore file	2019-10-30 15:35:02 +01:00
Timothée Floure	03319aef3d	Import quickcheck handout	2019-10-30 15:34:26 +01:00