chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8ff05d) | patch
hidden: enforce via types that Scrambled is the only view
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 26 Mar 2021 18:19:01 +0000 (18:19 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 26 Mar 2021 18:19:01 +0000 (18:19 +0000)
commit12e6e3f37318a3f02cd3bc754c8e09f5bfd0f1f3
tree4e5bb13f5474b0fcdb882981478540e44d128a84tree | snapshot
parentb8ff05de3a198df8ce82015413b0f27d9c5be431commit | diff
hidden: enforce via types that Scrambled is the only view

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/hand.rs diff | blob | history
src/hidden.rs diff | blob | history
src/prelude.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.