Epilogue http://www.e-pig.org/epilogue for Epigram Tue, 03 Jan 2012 13:02:31 +0000 http://wordpress.org/?v=2.8.4 en hourly 1 Hier Soir, an OTT Hierarchy http://www.e-pig.org/epilogue/?p=1098 http://www.e-pig.org/epilogue/?p=1098#comments Sat, 12 Nov 2011 23:18:53 +0000 Conor http://www.e-pig.org/epilogue/?p=1098 http://www.e-pig.org/epilogue/?feed=rss2&p=1098 0 Problem Types, Dub Types, Type Schemes http://www.e-pig.org/epilogue/?p=1079 http://www.e-pig.org/epilogue/?p=1079#comments Fri, 04 Nov 2011 00:09:49 +0000 Conor http://www.e-pig.org/epilogue/?p=1079 http://www.e-pig.org/epilogue/?feed=rss2&p=1079 4 Design: Lay(ab)out http://www.e-pig.org/epilogue/?p=1068 http://www.e-pig.org/epilogue/?p=1068#comments Wed, 03 Aug 2011 19:19:56 +0000 Conor http://www.e-pig.org/epilogue/?p=1068 http://www.e-pig.org/epilogue/?feed=rss2&p=1068 0 Lexical Structure http://www.e-pig.org/epilogue/?p=1058 http://www.e-pig.org/epilogue/?p=1058#comments Wed, 03 Aug 2011 11:22:28 +0000 Conor http://www.e-pig.org/epilogue/?p=1058 String -> (STok, String) slex1 c s =   case (elem c soloists, lookup c openers, lookup c closers) of     (True, _, _) -> (Solo c, s)     (_, Just b, _)       | (t, ‘|’ : u) (Open (b, Just t), [...]]]> http://www.e-pig.org/epilogue/?feed=rss2&p=1058 1 Design: Framing Source Code http://www.e-pig.org/epilogue/?p=1043 http://www.e-pig.org/epilogue/?p=1043#comments Mon, 01 Aug 2011 18:18:52 +0000 Conor http://www.e-pig.org/epilogue/?p=1043 http://www.e-pig.org/epilogue/?feed=rss2&p=1043 2 Elaborating on the State of the Proof State http://www.e-pig.org/epilogue/?p=1003 http://www.e-pig.org/epilogue/?p=1003#comments Tue, 26 Jul 2011 16:53:23 +0000 Conor http://www.e-pig.org/epilogue/?p=1003 http://www.e-pig.org/epilogue/?feed=rss2&p=1003 0 Algorithmic Bidirectional Typing and Equality http://www.e-pig.org/epilogue/?p=955 http://www.e-pig.org/epilogue/?p=955#comments Wed, 29 Jun 2011 16:02:02 +0000 Conor http://www.e-pig.org/epilogue/?p=955 _≡_ : (x : Lev)(G : Cx x)(T t [...]]]> http://www.e-pig.org/epilogue/?feed=rss2&p=955 0 Algorithmic Rule Systems http://www.e-pig.org/epilogue/?p=914 http://www.e-pig.org/epilogue/?p=914#comments Wed, 29 Jun 2011 11:16:32 +0000 Conor http://www.e-pig.org/epilogue/?p=914 http://www.e-pig.org/epilogue/?feed=rss2&p=914 0 Crude but Effective Stratification http://www.e-pig.org/epilogue/?p=857 http://www.e-pig.org/epilogue/?p=857#comments Fri, 17 Jun 2011 09:58:44 +0000 Conor http://www.e-pig.org/epilogue/?p=857 http://www.e-pig.org/epilogue/?feed=rss2&p=857 2 Tag, tag, tag http://www.e-pig.org/epilogue/?p=852 http://www.e-pig.org/epilogue/?p=852#comments Wed, 16 Feb 2011 14:47:38 +0000 pwm http://www.e-pig.org/epilogue/?p=852 http://www.e-pig.org/epilogue/?feed=rss2&p=852 0