Add Infiltrator.jl to Base?

Internals & Design
,
2

I share this concern, but it’s not too hard to write Main.@infiltrate instead of just @infiltrate.

9 Likes