News for hackers. Stuff that matters.
Re:Teeny Tiny Mansion: text adventure game formally proven t... by JustSomeNobody on Monday April 17, 2017 @04:38PM (#14134209)
How can one get any more functional than plain text?

It could have been worse, they could have published it some binary format!

Re:Teeny Tiny Mansion: text adventure game formally proven t... by komali2 on Monday April 17, 2017 @05:00PM (#14134387)
By wrapping links in anchor tags, for starters.

Maybe some CSS to font-color the code to make it more readable? I like that in my IDE and I doubt it would cost much.

Maybe in-document anchor tags to allow linking to certain sections?

Re:Teeny Tiny Mansion: text adventure game formally proven t... by phil21 on Monday April 17, 2017 @07:35PM (#14135368)
With you on using anchor tags.

Vehemently opposed to your other suggestions. But I'm weird and cranky, and very much miss the days of most of computing being done in plain text. It's really the first and only universal data format/API.

The place to make plaintext pretty (if you care) is in the user's editor of choice where they can customize to their hearts content.

I do know I'm in the very tiny minority with this opinion though.