ArneBab has quit [Remote host closed the connection]
mmohammadi9812 has quit [Ping timeout: 264 seconds]
mmohammadi9812 has joined #racket
caente has joined #racket
Codaraxis__ has joined #racket
Codaraxis_ has quit [Ping timeout: 246 seconds]
orivej has joined #racket
mmohammadi9812 has quit [Ping timeout: 240 seconds]
mmohammadi9812 has joined #racket
caente has quit [Ping timeout: 246 seconds]
_whitelogger has joined #racket
catt has joined #racket
aeth has quit [Ping timeout: 240 seconds]
aeth has joined #racket
libertyprime has joined #racket
narimiran has joined #racket
narimiran has quit [Ping timeout: 240 seconds]
mmohammadi9812 has quit [Ping timeout: 264 seconds]
mmohammadi9812 has joined #racket
nperez__ has quit [Read error: Connection reset by peer]
mmohammadi9812 has quit [Ping timeout: 260 seconds]
mmohammadi9812 has joined #racket
cubik has joined #racket
jellie has joined #racket
jellie has quit [Read error: Connection reset by peer]
jellie has joined #racket
Sgeo has quit [Read error: Connection reset by peer]
<cubik>
Hello. I'm using racket 7.9 on windows and I have an issue with redex typesetting - https://gist.github.com/ethframe/52734412e804ac1e9a855b6d90af2440. The problem is with the vertical spacing in metafunctions and typing judgments. Setting metafunction-line-gap-space and metafunction-rule-gap-space to -30 seems to help, but I have no idea from where this huge extra space comes from. And I can't figure out how to fix spacing in judgments.
<cubik>
How can I fix this?
brainfunnel has joined #racket
ArneBab has joined #racket
ArneBab has quit [Remote host closed the connection]
ArneBab has joined #racket
phillbush has joined #racket
nperez has joined #racket
massimo_zaniboni is now known as mzan
ArneBab has quit [Remote host closed the connection]
brainfunnel has left #racket ["thanks, bye!"]
caente has joined #racket
caente has quit [Client Quit]
nullcone has quit [Quit: Connection closed for inactivity]
jellie has quit [Read error: Connection reset by peer]
jellie has joined #racket
mmohammadi9812 has quit [Ping timeout: 246 seconds]
mmohammadi9812 has joined #racket
aeth has quit [Ping timeout: 240 seconds]
aeth has joined #racket
mmohammadi9812 has quit [Ping timeout: 246 seconds]
mmohammadi9812 has joined #racket
mmohammadi9812 has quit [Ping timeout: 272 seconds]
mmohammadi9812 has joined #racket
mmohammadi9812 has quit [Ping timeout: 240 seconds]
mmohammadi9812 has joined #racket
narimiran has joined #racket
mmohammadi9812 has quit [Ping timeout: 272 seconds]
jellie has quit [Remote host closed the connection]
mmohammadi9812 has joined #racket
jellie has joined #racket
narimiran has quit [Quit: leaving]
jellie has quit [Ping timeout: 256 seconds]
jellie has joined #racket
orivej has quit [Ping timeout: 265 seconds]
orivej has joined #racket
davidl has quit [Ping timeout: 240 seconds]
orivej has quit [Ping timeout: 272 seconds]
davidl has joined #racket
mmohammadi9812 has quit [Ping timeout: 260 seconds]
mmohammadi9812 has joined #racket
mmohammadi9812 has quit [Ping timeout: 264 seconds]
tilpner has quit [Quit: tilpner]
nebunez has joined #racket
tilpner has joined #racket
ermo has quit [Ping timeout: 268 seconds]
brainfunnel has joined #racket
alanz has quit [Ping timeout: 260 seconds]
alanz has joined #racket
ermo has joined #racket
endformationage has joined #racket
wInNy is now known as winny
mmohammadi9812 has joined #racket
jellie has quit [Read error: Connection reset by peer]
jellie has joined #racket
nebunez has quit [Ping timeout: 272 seconds]
aeth_ has joined #racket
aeth has quit [Ping timeout: 272 seconds]
aeth_ is now known as aeth
jellie has quit [Ping timeout: 265 seconds]
jellie has joined #racket
Sgeo has joined #racket
nperez has quit [Ping timeout: 246 seconds]
catt has quit [Ping timeout: 264 seconds]
jellie has quit [Ping timeout: 260 seconds]
jellie has joined #racket
nullcone has joined #racket
mirrorbird has joined #racket
catt has joined #racket
cubik has quit [Quit: Leaving.]
cubik has joined #racket
cubik has quit [Client Quit]
ArneBab_ has joined #racket
nullman has quit [Remote host closed the connection]
nullman has joined #racket
mirrorbird has quit [Ping timeout: 272 seconds]
ArneBab_ has quit [Remote host closed the connection]
ArneBab has joined #racket
acarrico has quit [Ping timeout: 265 seconds]
teardown has quit [Remote host closed the connection]
teardown has joined #racket
ArneBab has quit [Remote host closed the connection]
jellie has quit [Ping timeout: 258 seconds]
nperez has joined #racket
orivej has joined #racket
ArneBab has joined #racket
ArneBab has quit [Read error: Connection reset by peer]
ArneBab_ has joined #racket
ArneBab_ has quit [Remote host closed the connection]