Re:Introduction to Pluto.jl
by simeonschaub on Friday April 30, 2021 @04:15AM
(#26990943)
Check out https://github.com/fredrikekre/jlpkg. It does pretty much exactly what you are describing.
[ Parent
| on HN ]
There are no comments on this comment yet.