Dafny vs. Dala: Experience with Mechanising Language Design. - James Noble 001; Julian Mackay; Tobias Wrigstad; Andrew Fawcet; Michael Homer (FTfJP@ECOOP, 2024)