Delete fn.rs

Removing unwanted file merged in a previous commit
2017-09-14 17:36:57 +05:30 · 2017-09-14 17:36:57 +05:30 · 52294434b0
commit 52294434b0
parent 9240454a3f
1 changed files with 0 additions and 8 deletions
--- a/fn.rs
+++ b/fn.rs
@ -1,8 +0,0 @@
-
-fn foo(x:  fn(&u8, &u8), y: Vec<&u8>, z: &u8) {
-// Debruijn   1    1            1        1
-// Anon-Index 0    1            0        1
-//            ------
-//            debruijn indices are shifted by 1 in here
-  y.push(z); // index will be zero or one
-}