Comments on: Quotients
http://www.e-pig.org/epilogue/?p=319
for EpigramSun, 6 Nov 2011 09:25:45 +0000http://wordpress.org/?v=2.8.4hourly1By: muad
http://www.e-pig.org/epilogue/?p=319&cpage=1#comment-70891
muadThu, 18 Feb 2010 04:33:09 +0000http://www.e-pig.org/epilogue/?p=319#comment-70891Hello, 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 :)
]]>