Hans-J. Schmid (14) [Avatar] Offline
Great chapter!

How would you design remote communication? Use serialization? I also saw on Github a more or less orphaned Idris Protocol project. Maybe that could be used as a starting point.

Serialization could be an interesting Idris project. Seems some kind of metaprogramming could be used. Any ideas how an elegant solution could be designed for serialization?