search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
104 stars 27 forks source link

[ compat ] add export modifier to operator decls #285

Closed stefan-hoeck closed 7 months ago