User talk:Tom7
From The Twelf Project
I hate seeing red.
Contents |
[edit] Tutorials => Category:Tutorials
The reason I had that redirect was so that I could *link* to the category page from the page Documentation. The redirect is odd and confusing to be sure, but do you know of any other way to link to a category page? Rsimmons 06:55, 6 September 2006 (MST)
[edit] Most wanted articles
I'd like to direct your attention to the bottom: User:Rsimmons/primop.elf.
Don't say I never did anything for you. More to come. — Rob (and his talk) 22:39, 15 September 2006 (MST)
- Awesome! Are you working with Jake (he said he was workong on one too)? — Tom 7 06:57, 16 September 2006 (MST)
[edit] Jake
--DanielKLee 16:22, 4 October 2006 (EDT) Ack I hadn't heard, he might of heard that I'd petered out and decided to take a crack at it. I'll email him — Rob (and his talk) 14:00, 16 September 2006 (MST)
[edit] Math = Ocaml
We can't get the math tag working on this website - it requires an OCaml extension, which is understandably past what Godaddy is interested in providing :) — Rob (and his talk) 10:10, 25 September 2006 (MST)
- OK, maybe when we move to our own server then! — Tom 7 11:52, 25 September 2006 (MST)
— 
— [edit] Twelf Coffee?
Twelf Coffee today? --DanielKLee 16:22, 4 October 2006 (EDT)
[edit] Done
Done breaking the wiki for tonight; annoy Jcreed to get the Twelfscript server running, I can make cool things happen. Thanks for your patience, I may set up a parallel "test wiki" tonight, since I imagine that two wikis can access one database without too much trouble. — Rob (and his talk) 20:02, 4 October 2006 (EDT)
[edit] noinclude?
noinclude was used more widely than groups, so I can't just disable it, but I think it badly needs renaming. Perhaps throwaway="true" or discard="true" (or, flouting convention, save="false"...) Thoughts? — Rob (and his talk) 18:19, 10 October 2006 (EDT)
- The reason for continuing to have some derived form (it is, currently, a derived form) is that 90% of people who need to use noinclude won't need to use include/name. Noinclude will continue to work indefinitely, and it and, most likely, discard="true" will be shortcuts for name="_"
Oh, and did you notice the changes to check="decl"?
nat : type. z : nat. s : nat -> nat. three = (s (s (s z))).
Twelf 1.7.1 (built 03/19/11 at 09:41:05 on gs6177)nat : type. z : nat. s : nat -> nat. three : nat = s (s (s z)).
%% OK %%
— Rob (and his talk) 18:34, 10 October 2006 (EDT)
- The reason for some derived form is that using name="_" implies an understanding of what's going on behind the scenes that I'd just as soon protect everyone else from. — Rob (and his talk) 18:36, 10 October 2006 (EDT)
- OK, makes sense. Yeah, the new decl mode is excellent. Also, that reminds me... I'm thinking that it might be a good idea to color those examples that are not on the main branch differently (like the border or the background). I'm not sure the best way to do that, though. — Tom 7 18:38, 10 October 2006 (EDT)
[edit] SWEET MERCY THAT'S A BEAUTIFUL BUTTON YOU'VE MADE
However, can I make a suggestion. I love the extension/technique being called AJALF, but could we call the parser hook something less kooky? <livetwelf> or <twelfbutton> or for all I care <awesome> - but something where we don't have to explain to every user the inside joke-ish reason why the tag is called <ajalf>. — Rob (and his talk) 11:43, 13 October 2006 (EDT)
- The intention is that it should only be used in the editing interface (in fact, that's the only place it will work). So nobody should see the name? — Tom 7 11:51, 13 October 2006 (EDT)
- Aah. But what if we want to make a user interface (i.e. Try Twelf now). An extremely reasonable, and in fact probably the correct, answer is to not have it inline on the wiki but on a different page like http://twelf.plparty.org/trytwelfnow.php, but I figured I'd ask the question. Also - besides <nowiki> tags, you need to check for <code> and <pre> if you're trying to catch non-twelf code. — Rob (and his talk) 11:55, 13 October 2006 (EDT)
- I fixed code and pre, thanks. I think we can make a separate button and tag for try twelf now stuff, but the ajalf tag relies on the mediawiki edit box being there, so it's not compatible. And, the name gives me private joy. — Tom 7 13:31, 13 October 2006 (EDT)
[edit] Minefield is cool!
Thanks! Now I know that I spelled adsfg wrong. I'm told should really be spelled "loads," or maybe "clads!" — Rob (and his talk) 16:22, 20 October 2006 (EDT)
- Clads! — Tom 7 00:38, 21 October 2006 (EDT)
[edit] Next wednesday
...does take a long time to arrive. And with it not arriving on the schedule I was expceted, I've become inactive until I finish my NSF application. I haven't abandoned the project :) Do you think we should have another coffee wednesday? — Rob (and his talk) 21:41, 30 October 2006 (EST)
- I think we should do something (not sure what) to remind people to do what they promised... — Tom 7 23:02, 30 October 2006 (EST)
[edit] SVGeygoodness
This took *forever* to get working, but here it is. It doesn't seem to have good font support, so I just expanded the appearance in Illustrator. — Rob (and his talk) 22:35, 28 February 2007 (EST)
- Sweet! What was the font problem you were having? Weird kerning? I know how to fix that, I can show you. — Tom 7 00:45, 1 March 2007 (EST)
- Maybe - to me it just seemed like the PNGmaker didn't treat the fonts as embedded at all (p.s. - google is currently crawling the site!). — Rob (and his talk) 01:01, 1 March 2007 (EST)
- I'd suggest not embedding the fonts and instead using system fonts, if possible. That should work for diagrammatic images, at least. — Tom 7 15:15, 1 March 2007 (EST)
[edit] The Party
Thanks, but it's not much of a party. Too many dudes. --Ccasin 17:39, 2 October 2007 (EDT)
- Sorry, dude. — Tom 7 17:43, 2 October 2007 (EDT)
