I hacked together a javascript function to make it easy to write inference rules in HTML. For example, to generate this:
| a→b b→c | |
| HYP-SYL | |
| a→c |
I just have to write this:
Here's the function:
function rule(name, top, bottom) {
var top = top.join(" ");
document.write(
"<p><table cellpadding=0>" +
"<tr>" +
"<td align=center>\n" + top + "</td>" +
"<td></td>" +
"</tr>" +
"<tr style='line-height:0.1'>" +
"<td align=center'>" +
"<div style='border-bottom: solid 1px #000'></div>" +
"</td>" +
"<td> " +
// position:relative is necessary to prevent IE from
// clipping off the top and bottom of the name
"<span style='position:relative'><tt>"+name+"</tt></span>"+
"</td>" +
"</tr>\n" +
"<tr>" +
"<td align=center>\n" + bottom + "</td>" +
"<td></td>" +
"</tr>" +
"</table></p>"
)
}
I hope someone out there finds it useful.
Posted on January 1, 2006 05:44 PM
More languages articles
sweeeet.
now make one that can do arbitrary numbers of inference rules.
THEN make one that can take a context-senstive grammar and an expression written in that grammar and generate a type-inference tree!
Posted by: John Bachir at January 1, 2006 08:14 PMOh, nice!
This reminds me a bit of ASCIIMathML - have you had a chance to check that out at all? It's pretty rocking.
Glad to see that you're still around and posting, by the way. It's been ages! How are things in Boston?
Posted by: Gnomon at January 1, 2006 10:46 PMWow. AsciiMathML is quite spiffy, indeed. Thanks for the pointer.
For some reason I just haven't felt like posting much recently. Most of my spare time for the last couple months has been going into reading TAPL, or Zinn's "Declarations of Independence", or thinking about FrTime. You'd think that one of these would have led to a shareable thought, but apparently not.
I guess my tolerance for making a fool of myself has decreased :) For example, now that I think about it, I really should have made my javascript function generate mathml instead of a hacky html table. Oh well...
Posted by: Kim at January 2, 2006 12:28 AMChange the line
var top = top.join(" ");
to just
top = top.join(" ");
or use a different name for the local variable. Otherwise you are calling join on the value undefined.
Aside from that your function works perfectly. Nice job.
Posted by: Ray at September 20, 2009 04:12 PMugg boot australia
bailey button ugg sale
ugg classic cardy cheap
classic cardy ugg sale online
ugg unique bailey button
Thanks for your useful info, I think it’s a good topic. So would you like the info about the
jordan shoes
Air jordan shoes
cardy ugg boots
Tiffany Jewelry
ugg bailey button boots
cheap jordan shoes
ugg boots uk
Michael jordan shoes
ugg london
ugg nightfall boots
ugg boots sale
classic ugg boots
sundance ugg boots
air jordan fusion 6
air jordan 6 rings
jordan shoes for sale
Ugg
Ugg Boots
Cheap Ugg
New Ugg Boots
Ugg Boot
Ugg Classic Boots
Cheap Ugg Boots
Uggs on sale
Uggs
Ugg Boots
Cheap Ugg Boots
Ugg Classic Boots
Ugg Boots Sale
Supra Shoes
Mens Supra Cruizer Shoes ---Special
Men's Supra Cruizer Red Shoes
Mens Supra Cruizer Cool Shoes
Mens Supra Cruizer Shoes --Charming
Mens Supra Cruizer Pure black Shoes
Mens Supra Cruizer Shoes --Leisure
Man's Supra Cruizer Shoes
Men's Supra Muska Skytop Shoes
Men's Supra Skateboarding Shoes
Men's Supra Strapped Shoes
Men's Supra Suprano High Shoes
Women's Supra Muska Skytop Shoes
cheap ugg boots sale
uggs classic mini sale
UGG Ultra Tall Boots
Cheap Ugg Boots
UGG Classic Tall Boots
UGG Classic Cardy
UGG Classic Short Boots
www.enjoywholesale.com
china wholesale clothing,china wholesale shoes,china wholesale electronics,china wholesale suppliers,china manufacturers
china wholesale products,light in the box,wholesale lots,wholesale ipod
china direct,china dropship,china trade,made in china
electronics wholesaler,ebay wholesaler,financial wholesaler
fashion wholesaler,clothing wholesaler,wholesaler magazine
computer wholesaler,external wholesaler,dvd wholesaler,wholesaler definition,china wholesaler,mutual fund wholesaler,define wholesaler,insurance wholesaler
discount ugg boots
forture
ugg boots
Discount store
Supra Shoes
Supra Skytop Shoes
Supra Society
Supra Thunder
Supra Suprano Hi
Supra Strapped
Supra Trinity
Supra Skylow 1.5
Supra Dixon
Diablo 1.5
Supra Cruizer
Supra Vaider Shoes
Supra Cuban
We are the best online sales for the china wholesale . Here you can have a large of choices of kinds Ugg Boots,Converse Shoes,Timberland Boots,puma shoes,Nike Shox Shoes ,Nike Dunk SB Shoes,Nike Air Max，Links Of London,Tiffany Jewelry,Dior Handbags?,jimmy choo handbags ,Cartier Watches, 8GB Mp4 Players,Bluetooth Car DVDs. All our cheap online cheap goods are high quality and original packages, and best service. We offer our customers the best service, 7 days arrive at your door.Enjoy your easy and happy shopping with us.
Nike Men's AF1 Light-up Shoes
light up air force
light up mens shoes
air force lights-up
light up shoes mens
light up air force ones
light up air force
air force lights-up
light up shoes af1
People all over the world know the abercrombie and fitch,but not everyone really knows how fashion the abercrombie is,hollister is the Legend maker. Everybody wears the hollister clothing would be the abercrombie mens and the abercrombie womens, if you want know you can search the Ruehl No.925 or abercrombie outlet in the www.google.com .
Posted by: fitch at November 21, 2009 03:57 AM discount nike air yeezy
china wholesale online
discount ugg boots
nike free shoes
furture
ugg boots
Discount store
Laptop Battery Laptop Battery Laptop Batteries
Laptop Batteries discount laptop battery
discount laptop battery
notebook battery notebook battery
computer battery computer battery
replacement laptop battery replacement laptop battery
notebook batteries notebook batteries
rongTiffany Jewelry Online - Discount Tiffany & Co Jewelry On Sale
Hot Sell Tiffany Jewelry - Tiffany Jewelry Online
Return To Tiffany Double Heart Detachable Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co 1837 Titanium I.D. Bracelet - Tiffany Jewelry Online
Tiffany & Co Bead Bracelet - Tiffany Jewelry Online
Tiffany&Co Atlas Round Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Bar Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Bead Necklace(N242) - Tiffany Jewelry Online
Tiffany&Co Bean Pendant Necklace(N157) - Tiffany Jewelry Online
Tiffany&Co Elsa Peretti Apple Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Butterfly Pendant Necklace - Tiffany Jewelry Online
belly fat
lose weight
jobs for 16 year olds
jobs for 14 year olds
Dog training
dog training supplies
Anti Bark Collars
Wholesale Oil Painting
make money
China Electronics Wholesale China
Phone Cheap Cell Phones
href="http://www.thechinaphone.com/index.php?main_page=advanced_search_result&keyword=China%20Wholesale">China Wholesale
replica handbags
Louis Vuitton Replica
Louis Vuitton handbags
fake Louis Vuitton bags
fake Louis Vuitton
replica rolex
replica rolex
fake rolex
buy cheap fake rolex
rolex Submariner
Just wanted to say great job with the blog, today is my first visit here and I’ve enjoyed reading your posts so far
ugg bailey button
Wow, my ugg classic mini will not be coming off now! I’ve had them on for 12hrs strait and I do not want to take them off. Thanks for everything, well worth the wait.
replica watches
omega watches
Tag Heuer watches
Louis Vuitton watches
Audemars Piguet replica
nike shoes
replica watches
omega watches
Tag Heuer watches
Louis Vuitton watches
Audemars Piguet replica
nike shoes
replica watches
omega watches
Tag Heuer watches
Louis Vuitton watches
Audemars Piguet replica
nike shoes