Haskell Agda Projects
Agda is a dependently typed programming language / interactive theorem prover.Project mention: What input method would you prefer for Unicode characters in a neovim plugin? | reddit.com/r/agda | 2021-10-18
My best guess is that it has not really been maintained lately, there were only 12 commits in the last 7 years, some of which are just global modifications, which include this file as well: https://github.com/agda/agda/commits/136f85386ec43245745b76f03505bda4f5d1ed3f/src/full/Agda/Interaction/Highlighting/Vim.hs
Check for unused code in an Agda project.
Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
Are you hiring? Post a new remote job listing for free.