also allow Shaped types for the view
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 15:11:15 +0000 (16:11 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 15:11:15 +0000 (16:11 +0100)
commitcb7f533f4119f044201df2f28838c96ee367b771
treee054a054d2071a2ad29acd99ae8addecd3981c64
parentb0b22d17dd4a6037defd57aa20223e1c5781eb66
also allow Shaped types for the view

Albeit long, this commit is relatively boring.
BFF.agda
Bidir.agda
GetTypes.agda
Instances.agda
Precond.agda