libertyprime has joined #racket
capfredf has joined #racket
capfredf has quit [Ping timeout: 268 seconds]
vraid has joined #racket
ec has quit [Ping timeout: 276 seconds]
libertyprime has quit [Ping timeout: 256 seconds]
capfredf has joined #racket
capfredf has quit [Ping timeout: 245 seconds]
xgqt_ is now known as xgqtd
xgqtd is now known as xgqt
rgherdt has quit [Ping timeout: 245 seconds]
rgherdt has joined #racket
capfredf has joined #racket
capfredf has quit [Ping timeout: 260 seconds]
libertyprime has joined #racket
sonny has joined #racket
rgherdt has quit [Ping timeout: 245 seconds]
vraid has quit [Ping timeout: 268 seconds]
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
<dzoe> Here we go
monkey_ has joined #racket
<dzoe> The corresponding extraction code is in scribblings/
<undltd> Thanks a lot!
tyson2 has joined #racket
johnjay has quit [Ping timeout: 245 seconds]
johnjay has joined #racket
johnjay has quit [Ping timeout: 264 seconds]
johnjay has joined #racket
monkey_ has quit [Remote host closed the connection]
monkey_ has joined #racket
monkey_ has quit [Remote host closed the connection]
monkey_ has joined #racket
Mooncairn has quit [Ping timeout: 268 seconds]
vraid has joined #racket
ermo has quit [Quit: ZNC 1.8.2 - https://znc.in]
capfredf has quit [Remote host closed the connection]
capfredf has joined #racket
ermo has joined #racket
tyson2 has quit [Remote host closed the connection]
capfredf has quit [Remote host closed the connection]
capfredf has joined #racket
shicz2 has quit [Ping timeout: 264 seconds]
shicz2 has joined #racket
capfredf has quit [Ping timeout: 264 seconds]
skapata has joined #racket
skapata has quit [Changing host]
skapata has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 268 seconds]
Everything has quit [Quit: leaving]
tyson2 has joined #racket
badkins has joined #racket
skapata has quit [Remote host closed the connection]
skapata has joined #racket
skapata has quit [Changing host]
skapata has joined #racket
juanfra has left #racket [#racket]
gproto23 has quit [Remote host closed the connection]
tyson2 has quit [Remote host closed the connection]
ur5us has joined #racket
capfredf has joined #racket
capfredf has quit [Ping timeout: 260 seconds]
monkey_ has quit [Remote host closed the connection]
ec has joined #racket
ec has quit [Client Quit]
X-Scale has quit [Ping timeout: 256 seconds]
X-Scale` has joined #racket
X-Scale` is now known as X-Scale
shicz2 has quit [Ping timeout: 245 seconds]
shicz2 has joined #racket
greaser|q is now known as GreaseMonkey
vraid has quit [Quit: Leaving]
ec has joined #racket
skapata has quit [Quit: Ĝis.]
AquaticBoy has joined #racket
shicz2 has quit [Ping timeout: 256 seconds]
shicz2 has joined #racket
skapata has joined #racket
skapata has quit [Changing host]
skapata has joined #racket
capfredf has joined #racket
AquaticBoy has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
tyson2 has joined #racket
AquaticBoy has joined #racket
rgherdt has quit [Ping timeout: 265 seconds]
badkins has quit [Remote host closed the connection]
capfredf has quit [Remote host closed the connection]
capfredf has joined #racket
capfredf has quit [Ping timeout: 260 seconds]
capybaba has quit [Quit: capy is gone]
capybaba has joined #racket
rgherdt has joined #racket
s-liao has joined #racket