Skip to content

Commit f6764e3

Browse files
committed
made small talk the tutorial link
1 parent e0c0926 commit f6764e3

File tree

2 files changed

+6
-6
lines changed

2 files changed

+6
-6
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ python3 -m pip install -e .
2424

2525
## Getting Started
2626

27-
[![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](http://colab.research.google.com/github/philzook58/knuckledragger/blob/main/tutorial.ipynb)
27+
[![Open In Colab](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/github/philzook58/knuckledragger/blob/master/examples/short_talk.ipynb)
2828

2929
```python
3030
import kdrag as kd

examples/short_talk.ipynb

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -528,7 +528,7 @@
528528
},
529529
{
530530
"cell_type": "code",
531-
"execution_count": 17,
531+
"execution_count": null,
532532
"id": "a02e48e8",
533533
"metadata": {},
534534
"outputs": [
@@ -566,8 +566,8 @@
566566
"import kdrag.theories.algebra.ordering\n",
567567
"import kdrag.theories.fixed\n",
568568
"import kdrag.theories.float\n",
569-
"import kdrag.theories.real.arb\n",
570-
"import kdrag.theories.real.sympy\n",
569+
"#import kdrag.theories.real.arb\n",
570+
"#import kdrag.theories.real.sympy\n",
571571
"import kdrag.theories.real.vec\n",
572572
"\n",
573573
"# shallow embeddings of logics\n",
@@ -1123,7 +1123,7 @@
11231123
],
11241124
"metadata": {
11251125
"kernelspec": {
1126-
"display_name": ".venv",
1126+
"display_name": "knuckledragger",
11271127
"language": "python",
11281128
"name": "python3"
11291129
},
@@ -1142,4 +1142,4 @@
11421142
},
11431143
"nbformat": 4,
11441144
"nbformat_minor": 5
1145-
}
1145+
}

0 commit comments

Comments
 (0)