add sieve to examples
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Feb 2014 14:49:35 +0000 (15:49 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Feb 2014 14:49:35 +0000 (15:49 +0100)
commit04b7bf8fabf64a2414d64cfb385f6a397da0a0fb
tree361986e772b733b199d868a4810e6721077dee1b
parent0a1558b7cb0bccbe4a8c8411ac08d11a87547eea
add sieve to examples
Examples.agda