Rename codec --> preserve

2018-08-27 10:24:11 +01:00 · 2018-08-27 10:24:11 +01:00 · 939396b9b7
parent 542d0a886a
commit 939396b9b7
2 changed files with 2 additions and 1 deletions
--- a/syndicate/mc/preserve.rkt
+++ b/syndicate/mc/preserve.rkt
@ -1,4 +1,5 @@
 #lang racket/base
+;; Preserve, as in Fruit Preserve, as in a remarkably weak pun on pickling/dehydration etc

 (provide encode
         decode
--- a/syndicate/mc/udp-dataspace.rkt
+++ b/syndicate/mc/udp-dataspace.rkt
@ -8,7 +8,7 @@
 (require racket/random file/sha1)
 (require imperative-syndicate/skeleton)
 (require imperative-syndicate/term)
-(require "codec.rkt")
+(require "preserve.rkt")

 (define-logger mcds)