reduce imports to speed up agda-mode
authorHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 15:05:23 +0000 (16:05 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 15:05:23 +0000 (16:05 +0100)
commit1e2ddab6a91377a939d47e30ed1575b03784a09f
tree72601f32229c8246ce9893e6f626fe7a59fe0faa
parent9dca7fdaf192843f21f9785975ef52cace6558ee
reduce imports to speed up agda-mode
Bidir.agda