7 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Yann Esposito (Yogsototh)	88650349c2	working with some script to handle rebuild	2019-10-29 14:46:13 +01:00
Yann Esposito (Yogsototh)	0384cfe849	downgrade to purs 0.13.3	2019-10-29 13:48:03 +01:00
Yann Esposito (Yogsototh)	0880b6f04e	first step toward Interactive UI	2019-10-28 13:41:05 +01:00
Yann Esposito (Yogsototh)	4791944568	updated slightly the generation	2019-10-27 17:23:13 +01:00
Yann Esposito (Yogsototh)	174e2bd9db	generation	2019-10-27 16:29:56 +01:00
Yann Esposito (Yogsototh)	bef05f3ff7	working to play	2019-10-25 14:55:17 +02:00
Yann Esposito (Yogsototh)	ffd4c7d26a	initial commit	2019-10-24 00:23:07 +02:00