%!s(int64=3) %!d(string=hai) anos · 96ee45a964
--- a/test_files/day_atlee/README.txt
+++ b/test_files/day_atlee/README.txt
@@ -0,0 +1 @@
 
				+The test files in this directory are based on the examples from the 2010 Journal paper "Deconstructing the semantics of big-step modelling languages" by Shahram Esmaeilsabzali, Nancy A. Day, Jo Atlee and Jianwei Niu.