sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

A start on styling notebooks. 

I'd like the website to have some consistency.
This commit is contained in:
Simon Forman 2023-02-15 13:43:22 -08:00
parent 610de03e0b
commit 1256fb47d8
6 changed files with 10533 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/html/css/notebook.css Normal file
View File

@ -0,0 +1,10 @@
.input {
background: #ddd;
color: black;
font-family: 'Inconsolata';
border-left: 0.2em solid black;
padding: 0.25em;
margin-bottom: 0.5em;
}

7816
docs/html/notebooks/BigInts.html Normal file
View File

File diff suppressed because it is too large Load Diff

14
docs/notebooks/BigInts.ipynb
View File

@ -18,12 +18,20 @@
},
{
"cell_type": "code",
"execution_count": 1,
"execution_count": 2,
"id": "08a49b81",
"metadata": {},
"outputs": [],
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"2147483648"
]
}
],
"source": [
"1 31 << "
"1 31 lshift "
]
},
{

3
docs/notebooks/Makefile
View File

@ -14,10 +14,11 @@ index.html: build_index.py $(docs_html)
python build_index.py > index.html
$(docs_html): %.html : %.ipynb
jupyter nbconvert --to html --template lab $<
jupyter nbconvert --to html --template basic $<
mov: $(docs_html) index.html
mv -v $? ../html/notebooks/
# markdown Functor-Reference.md | tidy5 -utf8 --add-meta-charset yes > ../../html/FR.html
# --HTMLExporter.embed_images=True

2683
docs/notebooks/jupyter_kernel/joy.py Executable file
View File

File diff suppressed because it is too large Load Diff

12
implementations/Python/joy.py
View File

@ -1,7 +1,7 @@
#!/usr/bin/env python
# -*- coding: utf-8 -*-
#
# Copyright © 2022 Simon Forman
# Copyright © 2022 - 2023 Simon Forman
#
# This file is part of Thun
#
@ -266,6 +266,7 @@ def reversed_stack(stack):
██╔══╝ ██╔██╗ ██╔═══╝ ██╔══██╗██╔══╝ ╚════██║╚════██║██║██║ ██║██║╚██╗██║
███████╗██╔╝ ██╗██║ ██║ ██║███████╗███████║███████║██║╚██████╔╝██║ ╚████║
╚══════╝╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝╚══════╝╚══════╝╚══════╝╚═╝ ╚═════╝ ╚═╝ ╚═══╝
Expression
As elegant as it is to model the expression as a stack, it's not very
efficient, as concatenating definitions and other quoted programs to
@ -300,6 +301,7 @@ def next_term(expression):
██╔═══╝ ██╔══██║██╔══██╗╚════██║██╔══╝ ██╔══██╗
██║ ██║ ██║██║ ██║███████║███████╗██║ ██║
╚═╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚══════╝╚══════╝╚═╝ ╚═╝
Parser
There is a single function for converting text to joy expressions
as well as a Symbol class and an Exception type. The Symbol
@ -389,6 +391,7 @@ def text_to_expression(text):
██╔═══╝ ██╔══██╗██║██║╚██╗██║ ██║ ██╔══╝ ██╔══██╗
██║ ██║ ██║██║██║ ╚████║ ██║ ███████╗██║ ██║
╚═╝ ╚═╝ ╚═╝╚═╝╚═╝ ╚═══╝ ╚═╝ ╚══════╝╚═╝ ╚═╝
Printer
'''
@ -565,6 +568,7 @@ def interp(stack=(), dictionary=None):
██║ ██║██║██║ ██║ ██║██║ ██║██║╚██╗██║██╔══██║██╔══██╗ ╚██╔╝
██████╔╝██║╚██████╗ ██║ ██║╚██████╔╝██║ ╚████║██║ ██║██║ ██║ ██║
╚═════╝ ╚═╝ ╚═════╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═══╝╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝
Dictionary
'''
@ -643,6 +647,7 @@ def help_(stack, expression, dictionary):
██║ ██║ ██║██║╚██╔╝██║██╔══██╗██║██║╚██╗██║██╔══██║ ██║ ██║ ██║██╔══██╗╚════██║
╚██████╗╚██████╔╝██║ ╚═╝ ██║██████╔╝██║██║ ╚████║██║ ██║ ██║ ╚██████╔╝██║ ██║███████║
╚═════╝ ╚═════╝ ╚═╝ ╚═╝╚═════╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═╝╚══════╝
Combinators
'''
@ -754,6 +759,7 @@ def quit(stack, expr, dictionary):
██║ ██║ ██║██╔══██╗██╔══╝ ██║███╗██║██║ ██║██╔══██╗██║ ██║╚════██║
╚██████╗╚██████╔╝██║ ██║███████╗ ╚███╔███╔╝╚██████╔╝██║ ██║██████╔╝███████║
╚═════╝ ╚═════╝ ╚═╝ ╚═╝╚══════╝ ╚══╝╚══╝ ╚═════╝ ╚═╝ ╚═╝╚═════╝ ╚══════╝
Core Words
'''
@ -1076,6 +1082,7 @@ for alias, name in (
██║ ██║██╔══╝ ██╔══╝ ██║██║╚██╗██║██║ ██║ ██║██║ ██║██║╚██╗██║╚════██║
██████╔╝███████╗██║ ██║██║ ╚████║██║ ██║ ██║╚██████╔╝██║ ╚████║███████║
╚═════╝ ╚══════╝╚═╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═══╝╚══════╝
Definitions
'''
@ -1133,6 +1140,9 @@ class Def(object):
██║ ╚██╔╝ ██╔═══╝ ██╔══╝ ██║ ██╔══██║██╔══╝ ██║ ██╔═██╗ ╚════██║
██║ ██║ ██║ ███████╗ ╚██████╗██║ ██║███████╗╚██████╗██║ ██╗███████║
╚═╝ ╚═╝ ╚═╝ ╚══════╝ ╚═════╝╚═╝ ╚═╝╚══════╝ ╚═════╝╚═╝ ╚═╝╚══════╝
Type Checks
Simple guard functions, for type inference see the Prolog versions.
'''