std-lib: add lemma to data.vec.properties - Githubissues

UlfNorell / agda-test

Agda test

0 stars 0 forks source link

std-lib: add lemma to data.vec.properties #972

Open UlfNorell opened 10 years ago

UlfNorell commented 10 years ago

From stevan.a...@gmail.com on November 20, 2013 16:28:44

This patch adds a lemma that relates update and inject+.

Attachment: agda-stdlib-vec-props.patch

Original issue: http://code.google.com/p/agda/issues/detail?id=972

UlfNorell commented 10 years ago

From andreas....@gmail.com on November 21, 2013 14:19:32

Labels: Type-Patch