Spaces:
Running
Running
Commit
·
397edde
1
Parent(s):
215d7d0
fix(functors): remove custom theme link
Browse files
functional_programming/05_functors.py
CHANGED
|
@@ -8,11 +8,7 @@
|
|
| 8 |
import marimo
|
| 9 |
|
| 10 |
__generated_with = "0.12.5"
|
| 11 |
-
app = marimo.App(
|
| 12 |
-
app_title="Category Theory and Functors",
|
| 13 |
-
css_file="/Users/chanhuizhihou/Library/Application Support/mtheme/themes/gruvbox.css",
|
| 14 |
-
)
|
| 15 |
-
|
| 16 |
|
| 17 |
@app.cell(hide_code=True)
|
| 18 |
def _(mo):
|
|
|
|
| 8 |
import marimo
|
| 9 |
|
| 10 |
__generated_with = "0.12.5"
|
| 11 |
+
app = marimo.App(app_title="Category Theory and Functors")
|
|
|
|
|
|
|
|
|
|
|
|
|
| 12 |
|
| 13 |
@app.cell(hide_code=True)
|
| 14 |
def _(mo):
|