Denis Merigoux 7edc3aa768 Added duration literal		2021-03-15 14:57:11 +01:00
..
formalization	Link to paper	2021-03-05 19:19:10 +01:00
images	docs: modify README.md's screenshots size	2021-03-10 15:20:44 +01:00
out_of_date	Improved readmes	2020-12-14 10:59:15 +01:00
syntax	Added duration literal	2021-03-15 14:57:11 +01:00