badkins has quit [Remote host closed the connection]
shicz2 has quit [Ping timeout: 264 seconds]
shicz2 has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
notzmv has joined #racket
capfredf has joined #racket
capfredf has quit [Ping timeout: 264 seconds]
sonny has quit [Ping timeout: 256 seconds]
badkins has joined #racket
shicz2 has quit [Ping timeout: 260 seconds]
shicz2 has joined #racket
Mooncairn has quit [Ping timeout: 256 seconds]
badkins has quit [Ping timeout: 260 seconds]
capfredf has joined #racket
Codaraxis has joined #racket
capfredf has quit [Ping timeout: 256 seconds]
sonny has joined #racket
sonny has quit [Remote host closed the connection]
sonny has joined #racket
sonny has left #racket [#racket]
capfredf has joined #racket
capfredf has quit [Ping timeout: 245 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
capfredf has joined #racket
capfredf has quit [Ping timeout: 264 seconds]
s-liao has joined #racket
tyson2 has quit [Remote host closed the connection]
libertyprime has quit [Ping timeout: 264 seconds]
libertyprime has joined #racket
libertyprime has quit [Client Quit]
ori has left #racket [WeeChat 3.0]
s-liao has quit [Quit: Client closed]
philip has joined #racket
philip has quit [Client Quit]
badkins has joined #racket
badkins has quit [Ping timeout: 245 seconds]
skapata has quit [Remote host closed the connection]
Jing has quit [Remote host closed the connection]
Jing has joined #racket
badkins has joined #racket
badkins has quit [Remote host closed the connection]
s-liao has joined #racket
shicz2 has quit [Ping timeout: 245 seconds]
shicz2 has joined #racket
capfredf has joined #racket
capfredf has quit [Ping timeout: 260 seconds]
s-liao has quit [Quit: Client closed]
ur5us has joined #racket
ur5us has quit [Ping timeout: 264 seconds]
rgherdt has joined #racket
s-liao has joined #racket
s-liao has quit [Client Quit]
vraid has joined #racket
AquaticBoy has joined #racket
s-liao has joined #racket
capfredf has joined #racket
AquaticBoy has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
shicz2 has quit [Ping timeout: 256 seconds]
capfredf has quit [Ping timeout: 264 seconds]
shicz2 has joined #racket
AquaticBoy has joined #racket
AquaticBoy has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
s-liao has quit [Quit: Client closed]
AquaticBoy has joined #racket
s-liao has joined #racket
capfredf has joined #racket
Guest2 has joined #racket
<undltd>
Anyone writing scribble in Emacs? What mode do you use?
s-liao has quit [Quit: Client closed]
s-liao has joined #racket
AquaticBoy has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
Guest2 has quit [Ping timeout: 256 seconds]
to-hu has joined #racket
AquaticBoy has joined #racket
s-liao has quit [Ping timeout: 256 seconds]
shicz2 has quit [Ping timeout: 256 seconds]
shicz2 has joined #racket
AquaticBoy has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
s-liao has joined #racket
tyson2 has joined #racket
s-liao has quit [Ping timeout: 256 seconds]
AquaticBoy has joined #racket
s-liao has joined #racket
Guest2 has joined #racket
Guest2 has quit [Client Quit]
Everything has joined #racket
vraid has quit [Ping timeout: 260 seconds]
<bremner>
undltd: racket-mode
<bremner>
Oh, scribble
<bremner>
Hmm, good question. I didn't love anything I tried
shicz2 has quit [Remote host closed the connection]
shicz2 has joined #racket
AquaticBoy has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
s-liao has quit [Quit: Client closed]
AquaticBoy has joined #racket
s-liao has joined #racket
bremner has quit [Remote host closed the connection]
bremner has joined #racket
<undltd>
me too, I guess DrRacket will do for scribble for now
badkins has joined #racket
badkins has quit [Ping timeout: 245 seconds]
s-liao has quit [Quit: Client closed]
Guest2 has joined #racket
AquaticBoy has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
AquaticBoy has joined #racket
AquaticBoy has quit [Client Quit]
gproto23 has joined #racket
Mooncairn has joined #racket
Guest2 has quit [Quit: Client closed]
AquaticBoy has joined #racket
AquaticBoy has quit [Client Quit]
badkins has joined #racket
johnjay has quit [Ping timeout: 260 seconds]
johnjay has joined #racket
to-hu has quit [Ping timeout: 265 seconds]
tyson2 has quit [Remote host closed the connection]
johnjay has quit [Ping timeout: 256 seconds]
<dzoe>
undltd: scribble-mode from melpa is kinda ok
<dzoe>
I am using it - however do not expect any fancy features there.
<undltd>
dzoe:
<undltd>
is the indentation okay? (sorry for the empty ping)
<dzoe>
Actually ... I am using some ancient version ;; $Id: scribble.el,v 1.49 2015/11/03 17:54:56 user Exp $
<undltd>
...and text-wrapping?
<dzoe>
There is much newer one there
<dzoe>
Well.. "kinda ok" describes it
<undltd>
thanks, gotta check the new version
<dzoe>
But as you made me look at the version I will install a newer one and see what changed.
<dzoe>
It allowed me to stay within emacs for writing scribble documentation - although I use mostly scribble/srcdoc and then my .scrbl files are just a bunch of headings, include-extracted and a paragraph here and there.
<undltd>
oh, I remember trying to grasp how to use srcdoc and failing :)
johnjay has joined #racket
<undltd>
I'm prototyping a data validation library, somewhat like clojure's spec
<undltd>
much simpler for now - basically a way to use racket's contracts on user-supplied data
<dzoe>
We are using srcdoc for two reasons: documentation and contracts on provided symbols (at the module boundaries)
<undltd>
If your code using srcdoc is public, would you mind sharing an example?
<dzoe>
Nope, it's quite a big project for a customer, however I think I published some things with srcdoc in the past, lemme see