3 ms·
I assume there's no way to import Diagrams.Prelude in https://try.jupyter.org/ https://try.jupyter.org/ ? I get Failed to load interface for `Diagrams.Prelude'
by ximeng 11y ago
I assume there's no way to import Diagrams.Prelude in https://try.jupyter.org/ https://try.jupyter.org/ ? I get
Failed to load interface for `Diagrams.Prelude'