[ refactor ] Use `Elaboration` interface instead of `Elab` where can - Githubissues

stefan-hoeck / idris2-elab-util

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

BSD 2-Clause "Simplified" License

77 stars 18 forks source link

[ refactor ] Use `Elaboration` interface instead of `Elab` where can #21

Closed buzden closed 3 years ago

stefan-hoeck commented 3 years ago

Thanks.