Closed jfdm closed 3 years ago
When connecting to a running idris process we enquire what the ide protocol being used is, and use this to differention between protocol versioning.
We show one example that should work for recent changes in how to load files.
When connecting to a running idris process we enquire what the ide protocol being used is, and use this to differention between protocol versioning.
We show one example that should work for recent changes in how to load files.