Blogs about: Ivor
Featured Blog
Silence, and adding things up
Well, so much for new year resolutions . I’d like to claim I haven’t posted anything for a while because I’ve been being super-productive, but I think it’s more due to teaching… more →
Types, Programming, etc.
Ivor the Engine
everythingwhichisyes wrote 3 weeks ago: … more →
Harry Potter names- Nameberry
babynamelover wrote 4 months ago: Gosh I didn’t know there was so mnay gorgeous ones!! go J.K Rowling. Andromeda, Bellatrix, Cas … more →
Names from locally
babynamelover wrote 4 months ago: 2-5 year olds Polly, Theo, Jonah, Quinton, Ivor, Scarlett, Violet, Henry, Ruby, Sasha, Sorell, Josie … more →
Heath combos
— 2 comments
babynamelover wrote 6 months ago: Heath Evander John Heath Augustus Cole Heath Atticus Rex Heath Atlas Heath Barnabas Heath Baxter Row … more →
Evander combos
— 4 comments
babynamelover wrote 6 months ago: Evander Ambrose Evander Atticus Henry Evander Beckett Thomas Evander Benedict Milo Evander Bruno Wal … more →
My Heroine
— 3 comments
sledpress wrote 6 months ago: Looking back over the last couple of posts, I’ve clearly been in a bitchy mood. So be it. This … more →
Barnaby combos
— 2 comments
babynamelover wrote 7 months ago: Barnaby Theodore August Barnaby Benjamin Ezra Barnaby Bramwell Walter Barnaby Cassius Jude Barnaby E … more →
Phineas
— 4 comments
babynamelover wrote 8 months ago: Phineas Benjamin Jude Phineas Cedar Paul Phineas Ivor James Phineas Evander John Phineas Asher Barna … more →
Ivor forever, Wales cares and East meets West
Paul Groves wrote 1 year ago: A round-up that includes my childhood, the land of my fathers and my adopted home: Ivor the Engine a … more →
Entry for August 06, 2008 - Coffee Morning
HelenEdith wrote 1 year ago: As usual, the Coffee Morning was held on Wednesday morning. We had a good audience, including a cont … more →
Ivor the Engine
bangazee wrote 1 year ago: Like many other small boys I had an inexplicable fixation with steam trains. Combine this with the w … more →
Silence, and adding things up
edwinb wrote 2 years ago: Well, so much for new year resolutions . I’d like to claim I haven’t posted anything for … more →
Correctness by Construction - a Carry-Ripple Adder
edwinb wrote 2 years ago: I dedided to to try out Ivor’s new pattern matching gadgetry by implementing a program I … more →
Dependent Pattern Matching in Ivor
edwinb wrote 2 years ago: I’m working on Ivor, a theorem proving library for Haskell. It’s an implementation of de … more →
