@chrisamaphone, have you seen http://www.puzzlescript.net/ ? Rules looks very linear-logic-y.
-
-
Replying to @1x2 replies 0 retweets 0 likes
-
-
Replying to @increpare
@increpare hello! puzzlescript is super neat! i'm a grad student doing some related stuff (see http://www.flickr.com/photos/8243148@N08/sets/72157635668011986/ …).2 replies 3 retweets 3 likes -
Replying to @chrisamaphone
@chrisamaphone cool. I've know almost nothing about linear logic. I'd certainly be interested in knowing more if you want to chat some time1 reply 0 retweets 0 likes
@chrisamaphone (that wasn't an idle comment btw, I'm currently trying to improve the performance of the engine, optimisation tips'd be cool)
12:55 AM - 10 Oct 2013
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.