http://www.e-pig.org/epilogue/?p=103 for Epigram Sun, 6 Nov 2011 09:25:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 http://www.e-pig.org/epilogue/?p=103&cpage=1#comment-4338 pwm Fri, 10 Feb 2006 00:01:15 +0000 http://www.e-pig.org/epilogue/?p=103#comment-4338 I've finally got round to adding the ability to fill holes, please test I’ve finally got round to adding the ability to fill holes, please test

]]> http://www.e-pig.org/epilogue/?p=103&cpage=1#comment-4313 Conor Mon, 06 Feb 2006 23:37:48 +0000 http://www.e-pig.org/epilogue/?p=103#comment-4313 I've hacked up some of the boring bits. In Ecce.lhs (thus far undocumented), there's a basic interactive thingy which displays the state and lets you navigate, add new declarations and definitions, evaluate stuff and quit. But no proof tactics yet... I’ve hacked up some of the boring bits. In Ecce.lhs (thus far undocumented), there’s a basic interactive thingy which displays the state and lets you navigate, add new declarations and definitions, evaluate stuff and quit. But no proof tactics yet…

]]>