tomw08
2019-3-11 15:40:52
@tomw08 has joined the channel
mischataylor
2019-3-11 21:46:47
@mischataylor has joined the channel
matias
2019-3-11 23:13:41
is it possible to define metafunctions and judgement forms in redex that work in any language?
oldsin
2019-3-12 01:20:17
is it possible to produce pdf version of slides using #lang slideshow, like scribble?:thinking_face:
samth
2019-3-12 01:24:49
@oldsin, see the various printing options to the slideshow command
oldsin
2019-3-12 01:26:59
Oh sure! Sorry for not reading the full manual before asking :grimacing: