From f80a04f3c0c2dfe49bb0aecdf682bb302c7e7689 Mon Sep 17 00:00:00 2001 From: pmbittner Date: Thu, 4 Jul 2024 00:02:46 +0200 Subject: [PATCH] README: explain Vatras name --- README.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index e2d34f53..923d81fd 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# On the Expressive Power of Languages for Static Variability +# Vatras -- On the Expressive Power of Languages for Static Variability [![agda][agda-badge-version-svg]][agda-badge-version-url] @@ -40,7 +40,7 @@ > Our "Notes on Mechanized Proofs" gives detailed information on our paper-to-artifact correspondence including a table that documents where and how every definition, theorem, or proof is formalized in Agda. > Moreover, our demo replays the round-trip running example of translating a configurable sandwich to the various languages (Section 3) using our compilers (Section 5). -This is the supplementary Agda library for our paper _On the Expressive Power of Languages for Static Variability_ conditionally accepted at Object-Oriented Programming, Systems, Languages & Applications 2024 (OOPSLA 2024). +This is the supplementary Agda library, called Vatras, for our paper _On the Expressive Power of Languages for Static Variability_ conditionally accepted at Object-Oriented Programming, Systems, Languages & Applications 2024 (OOPSLA 2024). This library formalizes all results in our paper: @@ -538,6 +538,11 @@ make: *** [makefile:15: build] Error 42 This error indicates that the `agda-stdlib` git submodule has not been set up correctly. Executing `git submodule update --init` in the root of the repository should fix the problem. +## Where does the library name 'Vatras' name come from? + +The name Vatras is (of course) an acronym, which stands for _VAriability language TRAnslationS_. +Besides, Vatras is a water mage in the classic german RPG [Gothic II](https://almanach.worldofgothic.de/index.php/Vatras), who is praying to the god Adanos, who brings "some kind of equality" very loosely speaking. + [agda-badge-version-svg]: https://img.shields.io/badge/agda-v2.6.4.3-blue.svg [agda-badge-version-url]: https://github.com/agda/agda/releases/tag/v2.6.4.3 [ghcup]: https://www.haskell.org/ghcup/