simplify compilation of the whole source
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 30 Jan 2014 07:07:29 +0000 (08:07 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 30 Jan 2014 07:07:29 +0000 (08:07 +0100)
commit26e2fea33aae257440e5571fb3f7e784938403e0
treee2c6d087dbb7e9476cf2e613125840923b3f139a
parentb0eb7ada208d33eb82ec27cb7d40b9fa59646c92
simplify compilation of the whole source
Everything.agda [new file with mode: 0644]
Makefile [new file with mode: 0644]