search

stefan-hoeck / idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.
BSD 2-Clause "Simplified" License
76 stars 16 forks source link

Break-down explanation expected in Interface Implementations for Enumerations #40

Open KySpace opened 2 years ago

KySpace commented 2 years ago

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 ...

stefan-hoeck commented 2 years ago

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