Online conference February 19-20. Learn more!

idris-bifunctors 0.1-1.53d06a6 Bifunctor library

This is a bifunctor library for Idris based off the excellent Haskell Bifunctors package from Edward Kmett.