[ refactor, new ] some code cleanup and new dup functions - Githubissues

stefan-hoeck / idris2-linux

Utilities for using Idris2 on GNU/Linux systems

BSD 3-Clause "New" or "Revised" License

5 stars 1 forks source link

[ refactor, new ] some code cleanup and new dup functions #9

Closed stefan-hoeck closed 3 weeks ago