Currying and uncurrying functions for dependent pairs were added.
Currying and uncurrying functions for dependent pairs were added.

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm