move all those toList calls inside _in-domain-of_
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 21 Oct 2014 09:21:41 +0000 (11:21 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 21 Oct 2014 09:21:41 +0000 (11:21 +0200)
commit6fa57da8105a0bad87c571ac911fa54d161745ad
tree3f731ae8ddb10bfe801f048616c86d982d95e421
parent2991f01c1867d6431d50d0e1309522b005de4bde
move all those toList calls inside _in-domain-of_
Bidir.agda
Precond.agda