Generic

Generic copied to clipboard

Currently there is a build failure like: ``` Checking Everything (/build/source/Everything.agda). Checking Generic.Test (/build/source/src/Generic/Test.agda). Checking Generic.Test.Data (/build/source/src/Generic/Test/Data.agda). Checking Generic.Test.Data.Fin (/build/source/src/Generic/Test/Data/Fin.agda). Checking Generic.Main (/build/source/src/Generic/Main.agda). Checking Generic.Core (/build/source/src/Generic/Core.agda). Checking Generic.Lib.Prelude (/build/source/src/Generic/Lib/Prelude.agda). Checking...

turion

I'm very excited to use this, and I'm slowly making progress, but I'm hitting roadblocks again: Minimal Example: ```agda import Generic.Lib.Prelude as Generic open import Generic.Main using (deriveEqTo) open import...

JoeyEremondi