search

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

[ upstream ] Added ForeignExport constructor to FnOpt #35

Closed stefan-hoeck closed 2 years ago

stefan-hoeck commented 2 years ago

Cf. idris-lang/Idris2#2433