Epilogue

for Epigram

Sorry, but there aren't any posts in the General category yet.

Recent Comments
- Conor on Problem Types, Dub Types, Type Schemes
- Andrea Vezzosi on Problem Types, Dub Types, Type Schemes
- Conor on Problem Types, Dub Types, Type Schemes
- Andrea Vezzosi on Problem Types, Dub Types, Type Schemes
- Adam M on Lexical Structure
- Conor on Design: Framing Source Code
- pozorvlak on Design: Framing Source Code
- Conor on Crude but Effective Stratification
- Mathnerd314 on Crude but Effective Stratification
- Conor on Insertion Sort
- Jonas on Insertion Sort
- PROOF WANTER on Insertion Sort
- Adam on No Representation without Taxation
- Glenn Willen on No Representation without Taxation
- Adam on W-types: good news and bad news
EpiDarcs
- pig eats source by pwm - Tue, 19 Jun 2012 14:07
- try.epi by conor - Tue, 19 Jun 2012 11:31
- elab EpiDoc stub by pwm - Tue, 19 Jun 2012 11:30
- compiling under 7.4; no idea what it does by conor - Wed, 09 May 2012 10:10
- We need higher-order unification, but we aint got it by adam.gundry - Thu, 16 Feb 2012 17:06
- More unification in elaboration by pwm - Fri, 13 Jan 2012 16:11
- Better fix - now deals with ambiguity by pwm - Fri, 06 Jan 2012 15:43
- Mare graceful failure when mispalling tactic names by pwm - Fri, 06 Jan 2012 15:20
- exTm elab in Cochon by pwm - Fri, 06 Jan 2012 15:05
- Hoping for a proof of a reflexive eq gives refl by pwm - Fri, 06 Jan 2012 14:27
- Whoops by pwm - Fri, 06 Jan 2012 14:13
- Conchon meet Parx, Parx - Cochon by pwm - Fri, 06 Jan 2012 14:03
- Unfinished monkey business by pwm - Thu, 15 Dec 2011 19:32
- elab Pi by pwm - Thu, 15 Dec 2011 12:06
- Bug ficing elaboration by pwm - Wed, 14 Dec 2011 18:42
Pages
- Issues and Inklings
- The Slate
Links
Meta

Epilogue is proudly powered by WordPress
Entries (RSS) and Comments (RSS).