chore: cleanup files after repo renaming

leanprover · Oct 21, 2024 · fb28559 · fb28559
1 parent 53fb3c1
commit fb28559
Show file tree

Hide file tree

Showing 7 changed files with 6 additions and 19 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -15,4 +15,4 @@ jobs:
       - uses: actions/checkout@v4
       - uses: leanprover/lean-action@v1
       - name: Run tests
-        run: lake exe anpu
+        run: lake exe nkl
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+.lake/**
diff --git a/ANPU.lean b/ANPU.lean
diff --git a/ANPU/Basic.lean b/ANPU/Basic.lean
diff --git a/Main.lean b/Main.lean
@@ -1,4 +1,2 @@
-import ANPU
-
 def main : IO Unit :=
-  IO.println s!"Hello, {ANPU.hello}!"
+  IO.println s!"Hello, NKL!"
diff --git a/README.md b/README.md
@@ -1 +1 @@
-# ANPU
+# Neuron Kernel Language (NKL)
diff --git a/lakefile.lean b/lakefile.lean
@@ -1,12 +1,8 @@
 import Lake
 open Lake DSL
 
-package "ANPU" where
-  -- add package configuration options here
-
-lean_lib «ANPU» where
-  -- add library configuration options here
+package "NKL" where
 
 @[default_target]
-lean_exe "anpu" where
+lean_exe "nkl" where
   root := `Main