description | Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf) |
owner | Helmut Grohne |
last change | Sat, 1 Aug 2020 07:12:17 +0000 (09:12 +0200) |
URL | git://git.subdivi.de/~helmut/bidiragda.git |
21 months ago | master | shortlog | log | tree |