use nbviewer for tutorial

Cargo.toml

@@ -2,7 +2,7 @@
 name = "cozo"
 version = "0.1.1"
 edition = "2021"
-description = "A general-purpose, transactional, relational database that uses Datalog and focuses on graph data"
+description = "A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms"
 authors = ["Ziyang Hu"]
 license = "AGPL-3.0-or-later"
 homepage = "https://github.com/cozodb/cozo"

README.md

@@ -6,7 +6,7 @@
 # `cozo`
 
 A general-purpose, transactional, relational database
-that uses Datalog for query and focuses on graph data.
+that uses Datalog for query and focuses on graph data and algorithms.
 
 ## Features
 
@@ -60,7 +60,7 @@ starting[airport] := airport = 'FRA'
 
 ## Learning Cozo
 
-* Start with the [Tutorial](https://cozodb.github.io/current/tutorial.html) to learn the basics;
+* Start with the [Tutorial](https://nbviewer.org/github/cozodb/cozo/blob/main/docs/tutorial/tutorial.ipynb) to learn the basics;
 * Continue with the [Manual](https://cozodb.github.io/current/manual/) to understand the fine points.
 
 ## Bug reports, discussions
@@ -103,7 +103,7 @@ in specific situations:
     Furthermore, the deterministic evaluation order makes identifying and solving
     performance problems easier.
 * Your data may be simple, even a single table, but it is inherently a graph.
-  * We have seen an example in the [Tutorial](https://cozodb.github.io/current/tutorial.html):
+  * We have seen an example in the [Tutorial](https://nbviewer.org/github/cozodb/cozo/blob/main/docs/tutorial/tutorial.ipynb):
     the air route dataset, where the key relation contains the routes connecting airports.
   * In traditional databases, when you are given a new relation,
     you try to understand it by running aggregations on it to collect statistics:

docs/source/setup.rst

@@ -9,7 +9,7 @@ This manual touches upon all features currently implemented in Cozo,
 though the coverage of some topics may be sketchy at this stage.
 
 This manual assumes that you already know the basics of the Cozo database,
-at the level of the `Tutorial <https://cozodb.github.io/current/tutorial.html>`_.
+at the level of the `Tutorial <https://nbviewer.org/github/cozodb/cozo/blob/main/docs/tutorial/tutorial.ipynb>`_.
 
 ------------------------
 Downloading Cozo

src/lib.rs

@@ -14,13 +14,6 @@ pub use miette::Error;
 
 pub use runtime::db::Db;
 
-// #[cfg(not(target_env = "msvc"))]
-// use tikv_jemallocator::Jemalloc;
-
-// #[cfg(not(target_env = "msvc"))]
-// #[global_allocator]
-// static GLOBAL: Jemalloc = Jemalloc;
-
 pub(crate) mod algo;
 pub(crate) mod data;
 pub(crate) mod parse;