[ compat ] add export modifier to operator decls - Githubissues

stefan-hoeck / idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

BSD 2-Clause "Simplified" License

76 stars 16 forks source link

[ compat ] add export modifier to operator decls #75

Closed stefan-hoeck closed 7 months ago