/home/laney/.irssi/irclogs/Freenode/#agda.log-20180226

--- Day changed Sun Feb 25 2018
apostolisdmilez : "epsilon"25/02 06:48
apostolisIs there a library that performs serialization to ByteString? There is a Bytes type in the Prelude Library and not a transformation to it.25/02 09:29
apostolis"but not a transformation of primitve types to it"25/02 09:30
apostolisI could have haskell's Binary library perfrom the transformation but then I would need to know the haskell types of the builtin types.25/02 09:33

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!