Many functions lack proper documentation. Be better than the remaining Idris documentation and document the code properly!
Many functions lack proper documentation. Be better than the remaining Idris documentation and document the code properly!