mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-19 21:17:51 +03:00
163 B
163 B
Please attach complete source files that exhibit the issue in addition to quoting from them here.