This is a work in progress on translating Agda rewrite rules to the XML format expected by SizeChangeTool (https://github.com/Deducteam/SizeChangeTool).
An Agda backend for SizeChangeTool
This is a work in progress on translating Agda rewrite rules to the XML format expected by SizeChangeTool (https://github.com/Deducteam/SizeChangeTool).
An Agda backend for SizeChangeTool