Open freddie-freeloader opened 6 years ago
The backpack solution, that avoids orphan instances can be found here: https://qfpl.io/posts/backpack-for-initial-and-final-encodings/
The backpack solution, that avoids orphan instances can be found here: https://qfpl.io/posts/backpack-for-initial-and-final-encodings/