summaryrefslogtreecommitdiff
path: root/Instances.agda
diff options
context:
space:
mode:
authorHelmut Grohne <grohne@cs.uni-bonn.de>2015-06-09 16:33:31 +0200
committerHelmut Grohne <grohne@cs.uni-bonn.de>2015-06-09 16:33:31 +0200
commitd8ed3c5d8bb02c626b3d263ed9d6a4bcb5836ae0 (patch)
tree38b273f174d719d931aba8d9a0f3f193bb574e6c /Instances.agda
parentdbad09a8a5843e91f862657c3011ec7f63ea819b (diff)
downloadbidiragda-d8ed3c5d8bb02c626b3d263ed9d6a4bcb5836ae0.tar.gz
drop barred members from GetTypes
These became duplicates of their non-barred counterparts.
Diffstat (limited to 'Instances.agda')
0 files changed, 0 insertions, 0 deletions