1+! Maybe a collaborative effort like the HoTT ( http://homotopytypetheory.org/2013/06/20/the-hott-book/)?! ;-)
Best, Alexandre Rademaker http://arademaker.github.com/ http://researcher.ibm.com/person/br-alexrad On Sat, Jan 23, 2016 at 6:03 PM, John Wiegley <[email protected]> wrote: > >>>>> Rolf Schröder <[email protected]> writes: > > > Contact me via rolf dot schr at gmail dot com and I'll send you a copy. > The > > code presented in the book is already available here > > https://github.com/rolfschr/GSWL-ecosystem. > > I would love a copy, and to help you review it! > > -- > John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F > http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 > > -- --- You received this message because you are subscribed to the Google Groups "Ledger" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
