colcord

I'd like to be able to work offline in my Android Chrome browser, and have files sync to Dropbox. p.s. I like the look of Monod. It reminds me of...

output has hard spaces which are rejected in pandoc

6

Hi, I really appreciate this project. I've just had some trouble when using the output. When I put my text files through pandoc, I get a complaint about hard spaces...

Robin Milner 'Space and Motion of Communicating Agents'

1

Hi, I came to study category theory because Milner gave it credit in this book. I'm an amateur, and struggling, but I though you might enjoy the book as a...