/

• .gitignore
• FinMerge.agda
• FinMerge
• LICENSE
• README.md
• Util.agda
• tiny