Injectivity and similar properties were added for lists'a append.
Injectivity and similar properties were added for lists'a append.

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