diff equalizer.agda @ 333:26f44a4fa494

factorial still have a problem
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 22 Mar 2014 14:55:51 +0700
parents d6a6dd305da2
children ff36c500962e
line wrap: on
line diff