Emma Tye
Results
2
issues of
Emma Tye
# Steps to Reproduce ```idris import Data.Fin foo : Applicative f => f ((n : Nat) -> Fin n) -> f (Fin 2) foo fun = fun pure 2 ```...
status: expected behaviour
library: prelude