oddsome / sicp_1.14_idris

sicp 1.14 exercise answered in idris

SICP 1.14 exercise implemented as dependent type inhabited by values which represent CountChange evaluation tree