insane

insane copied to clipboard

Code does not build with GHC 8.6.5, does not list which version of GHC is needed

1

``` $ make ghc --make -o tc Main.hs -fwarn-incomplete-patterns -Werror TypeChecker.hs:1:55: error: [-Werror] -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS | 1 | {-# LANGUAGE UndecidableInstances, FlexibleInstances, OverlappingInstances #-}...

JasonGross

```agda data Bool : Set where false : Bool true : Bool If : Set -> Set -> Bool -> Set If x y true = x If x y...

andreasabel