chore: remove NEFF details

We've moved these to an internal repo. They are already out of date here.

Author: seanmcl

KLR.lean

@@ -6,7 +6,6 @@ Authors: Paul Govereau, Sean McLaughlin
 import KLR.BIR
 import KLR.Core
 import KLR.Eval
-import KLR.NEFF
 import KLR.NKI
 import KLR.Python
 import KLR.Serde

KLR/NEFF.lean

@@ -2,7 +2,6 @@ import KLR
 import KLR.BIR.Compile
 import Cli
 import KLR.Eval
-import KLR.NEFF
 import KLR.Util
 import KLR.Util.Gzip
 import TensorLib.Npy
@@ -237,12 +236,6 @@ def parseBIR (p : Parsed) : IO UInt32 := do
   IO.println $ asString p bir
   return 0
 
-def neffInfo (p : Parsed) : IO UInt32 := do
-  let file := p.positionalArg! "file" |>.as! String
-  let neff <- NEFF.File.read file
-  IO.println (repr neff)
-  return 0
-
 def nkiToKLR (p : Parsed) : IO UInt32 := do
   let debug := p.hasFlag "debug"
   let file := p.positionalArg! "moduleFileName" |>.as! String
@@ -361,14 +354,6 @@ def parseBIRCmd := `[Cli|
     file : String; "File of BIR JSON"
 ]
 
-def neffInfoCmd := `[Cli|
-  "neff-info" VIA neffInfo;
-  "Parse a NEFF file"
-
-  ARGS:
-    file : String; "NEFF file"
-]
-
 def nkiToKLRCmd := `[Cli|
   "nki-to-klr" VIA nkiToKLR;
   "Compile NKI kernel to KLR"
@@ -409,7 +394,6 @@ def klrCmd : Cmd := `[Cli|
     compileCmd;
     evalKLRCmd;
     gatherCmd;
-    neffInfoCmd;
     nkiToKLRCmd;
     parseASTCmd;
     parseKLRCmd;