Если стандартизовать Агду, то придётся придумывать новую Агду для экспериментов. Компилятор и семантика языка там меняется (понемногу) в каждой версии, то что при этом старые программы в новых версиях иногда работают — чистая случайность.