Now with agda sample

Signed-off-by: Andrew Miller <amiller@dappervision.com>