Skip to content

Commit

Permalink
Fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
jespercockx committed Jul 27, 2024
1 parent 71c06ba commit 7753783
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/Haskell/Prim/Functor.agda
Original file line number Diff line number Diff line change
Expand Up @@ -75,4 +75,4 @@ instance
iFunctorTuple₃ : Functor (a × b ×_)
iFunctorTuple₃ = fmap= λ where f (x , y , z) x , y , f z

instance postulate iFunctiorIO : Functor IO
instance postulate iFunctorIO : Functor IO

0 comments on commit 7753783

Please sign in to comment.