Source

pygments-main / tests / examplefiles / test.agda

Author Commit Message Labels Comments Date
Tim Baumann
Test files for Agda and literate Agda mode