idris2-elab-util icon indicating copy to clipboard operation
idris2-elab-util copied to clipboard

Published 20 hours ago • verified publisher icon stefan-hoeck

Break-down explanation expected in Interface Implementations for Enumerations

Open KySpace opened this issue 3 years ago • 1 comments

In Enum2.md Interface Implementation, Part 2, stated "We will break this down in a moment. First, we check whether it actually works:"

And we never did ...

KySpace avatar Jun 20 '22 05:06 KySpace

You are right, of course. I will look into this and try to indeed break things up.

stefan-hoeck avatar Jun 20 '22 06:06 stefan-hoeck