employ standard library of agda where possible
authorHelmut Grohne <helmut@subdivi.de>
Thu, 19 Jan 2012 10:47:16 +0000 (11:47 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 19 Jan 2012 10:47:16 +0000 (11:47 +0100)
commite26c81033bb12fe6a07f6fa572e27ea9ee19e26e
treeb7b881d8f5cce82e63b06915ea773d476cdd9bf2
parent537a03c250380225285be4cba1d05cacfd71ab44
employ standard library of agda where possible
Bidir.agda