progs/scala/re-bit.scala
Wed, 15 Aug 2018 13:48:57 +0100 Christian Urban added proof for bitcoded algorithm
Wed, 20 Jul 2016 14:30:07 +0100 Christian Urban added paper about size derivatives
Tue, 05 Apr 2016 09:27:36 +0100 Christian Urban updated programs
Fri, 01 Apr 2016 16:29:33 +0100 Christian Urban added bit-coded version
less more (0) tip