http://www.e-pig.org/epilogue/?p=32 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=32&cpage=1#comment-132 Conor Thu, 17 Feb 2005 18:26:10 +0000 http://www.e-pig.org/epilogue/?p=32#comment-132 Yes, I want to be able to play around with hand-cooked examples sooner rather than later. Also, I want to have the option to do an entirely dumb and trusting reload. Yes, I want to be able to play around with hand-cooked examples sooner rather than later. Also, I want to have the option to do an entirely dumb and trusting reload.

]]> http://www.e-pig.org/epilogue/?p=32&cpage=1#comment-130 Edwin Thu, 17 Feb 2005 16:28:35 +0000 http://www.e-pig.org/epilogue/?p=32#comment-130 Interesting... I did it that way because I wanted to make the simple examples work quickly without having to write code for generating gadgets! In the end (that is, when I get around to it) I'd prefer to be able to generate my own gadgets, treating data types that we know how to eliminate fast (eg Nat, Fin, possibly List, Vect, and anything of similar shape) specially. But there's no reason why there can't be some kind of syntax for doing that too. Interesting… I did it that way because I wanted to make the simple examples work quickly without having to write code for generating gadgets! In the end (that is, when I get around to it) I’d prefer to be able to generate my own gadgets, treating data types that we know how to eliminate fast (eg Nat, Fin, possibly List, Vect, and anything of similar shape) specially. But there’s no reason why there can’t be some kind of syntax for doing that too.

]]>