http://www.e-pig.org/epilogue/?p=319 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=319&cpage=1#comment-70891 muad Thu, 18 Feb 2010 04:33:09 +0000 http://www.e-pig.org/epilogue/?p=319#comment-70891 Hello, nice post! I'm just curious if the same issue from 'Mathematical Quotients and Quotient Types in Coq' has in the context of OTT/epigram. Also I can't wait to try this stuff out! I will have a go doing group theory in Pig09 once I understand it a little better :) Hello, nice post! I’m just curious if the same issue from ‘Mathematical Quotients and Quotient Types in Coq’ has in the context of OTT/epigram. Also I can’t wait to try this stuff out! I will have a go doing group theory in Pig09 once I understand it a little better :)

]]>