labellementeuse: a girl sits at a desk in front of a window, chewing a pencil (Default)
[personal profile] labellementeuse
Faint, faint hope; anyone on the flist use Jape and know how to get it running? New Logic prof had us all download it, which I just did and I have absolutely no idea how to work it. Running is probably the wrong word because I can open the program easily enough, I just... have no idea what to do. None of the example files (for ND, which is what I'm after, anyway) will open either.

Um. Help? *goes to look for appropriate community*

Date: 2006-07-26 11:49 pm (UTC)
From: [identity profile] gianp.livejournal.com
Just try a few really simple proofs to get the hang of it. It's not all that different to any other computational logic system - it's just a matter of syntax I guess.

Profile

labellementeuse: a girl sits at a desk in front of a window, chewing a pencil (Default)
worryingly jolly batman

October 2021

S M T W T F S
     12
3456789
10111213141516
1718192021 2223
24252627282930
31      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 27th, 2026 06:52 am
Powered by Dreamwidth Studios