chiark / gitweb /
Move OccK into prelude
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 27 Feb 2021 11:48:48 +0000 (11:48 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 27 Feb 2021 11:49:39 +0000 (11:49 +0000)
commitfb19ce2ab6eba4df8d1efddbf735f15baf001af6
tree7ad51920f4d15e678c67d5facaf4048f886a0a00
parentb7910d258716708307bbd9da21193544465e9583
Move OccK into prelude

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/hidden.rs
src/prelude.rs