add intersperse as another example
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 15:44:17 +0000 (16:44 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 15:44:17 +0000 (16:44 +0100)
commit8d0659f5dcfec4fc75096aa188c99af35c23bad5
tree4acca360b8c9332bb845f9f0169641fc37f34647
parent54c29d2ce4d4e8a33d77bc787b2c5132f2089835
add intersperse as another example
Examples.agda