Resolve "Breaking change: Rename `core` crate to `kernel`" ✨️

Closes #13 🐔️👍️

🦀️🍰🦀️🍰🦀️🍰

* chore!(cargo): Rename  crate into

Cargo.lock

@@ -88,10 +88,6 @@ dependencies = [
  "winapi",
 ]
 
-[[package]]
-name = "core"
-version = "0.1.0"
-
 [[package]]
 name = "cpufeatures"
 version = "0.2.5"
@@ -232,6 +228,10 @@ version = "0.7.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "1ea37f355c05dde75b84bba2d767906ad522e97cd9e2eef2be7a4ab7fb442c06"
 
+[[package]]
+name = "kernel"
+version = "0.1.0"
+
 [[package]]
 name = "libc"
 version = "0.2.133"
@@ -295,7 +295,7 @@ checksum = "9ff7415e9ae3fff1225851df9e0d9e4e5479f947619774677a63572e55e80eff"
 name = "parser"
 version = "0.1.0"
 dependencies = [
- "core",
+ "kernel",
  "pest",
  "pest_derive",
 ]
@@ -382,7 +382,6 @@ name = "proost"
 version = "0.1.0"
 dependencies = [
  "clap",
- "core",
  "parser",
  "rustyline",
 ]

Cargo.toml

 [workspace]
 
 members = [
-    "core",
+    "kernel",
     "parser",
     "proost",
 ]

core/Cargo.toml → kernel/Cargo.toml

 [package]
-name = "core"
+name = "kernel"
 version = "0.1.0"
 edition = "2021"
 license = "GPL-3.0-or-later"
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
 [dependencies]

parser/Cargo.toml

@@ -4,10 +4,9 @@ version = "0.1.0"
 edition = "2021"
 license = "GPL-3.0-or-later"
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
 [dependencies]
-core = { path = "../core" }
+kernel = { path = "../kernel" }
+
 pest = "2.0"
 pest_derive = "2.0"
 

parser/src/classic_term.rs

-use core::Term;
+use kernel::Term;
 use std::fmt::{Display, Formatter};
 
 #[derive(Clone, Debug)]

parser/src/parser.rs

 use crate::classic_term::ClassicTerm;
-use core::{Command, Term};
+use kernel::{Command, Term};
 use pest::error::{Error, ErrorVariant};
 use pest::iterators::Pair;
 use pest::{Parser, Position};

parser/tests/example.rs

-use core::{Command, Term};
+use kernel::{Command, Term};
 
 #[test]
 fn parse() {

proost/Cargo.toml

@@ -6,7 +6,7 @@ license = "GPL-3.0-or-later"
 description = "A simple proof assistant written in Rust"
 
 [dependencies]
-core = { path = "../core" }
 parser = { path = "../parser" }
-rustyline = "10.0.0"
+
 clap = { version = "4.0.10", features = ["derive"]}
+rustyline = "10.0.0"