- Queries
- All Changesets
- Search
- Advanced Search
All Changesets
All Changesets
Change | Path | |
---|---|---|
Added | autotests/folding/test.agda.fold | |
Added | autotests/html/test.agda.html | |
Added | autotests/input/test.agda | |
Added | autotests/reference/test.agda.ref | |
Modified | data/syntax/agda.xml |