Compare commits
No commits in common. "da997b80c73cd29a10b7032be19871b046fafde2" and "12d6176f63126e8fe05bb5fa4687c0829022c431" have entirely different histories.
da997b80c7
...
12d6176f63
1
.gitignore
vendored
1
.gitignore
vendored
@ -10,4 +10,3 @@ dist
|
|||||||
|
|
||||||
# Misc
|
# Misc
|
||||||
*.gif
|
*.gif
|
||||||
misc/secrets.sh
|
|
1
.vscode/settings.json
vendored
1
.vscode/settings.json
vendored
@ -8,7 +8,6 @@
|
|||||||
"mdel",
|
"mdel",
|
||||||
"onefile",
|
"onefile",
|
||||||
"Packrat",
|
"Packrat",
|
||||||
"printables",
|
|
||||||
"pyparsing",
|
"pyparsing",
|
||||||
"rlimit",
|
"rlimit",
|
||||||
"runstatus",
|
"runstatus",
|
||||||
|
@ -56,7 +56,7 @@ class LambdaParser:
|
|||||||
(self.lp + self.pp_history + self.rp)
|
(self.lp + self.pp_history + self.rp)
|
||||||
)
|
)
|
||||||
|
|
||||||
self.pp_command = pp.Suppress(":") + pp.Word(pp.alphas + "_") + pp.Word(pp.printables)[0, ...]
|
self.pp_command = pp.Suppress(":") + pp.Word(pp.alphas + "_") + pp.Word(pp.alphas + pp.nums + "_.")[0, ...]
|
||||||
|
|
||||||
|
|
||||||
self.pp_all = (
|
self.pp_all = (
|
||||||
|
@ -1,4 +1,11 @@
|
|||||||
# See makedemo.sh
|
# How to use this:
|
||||||
|
# install vhs
|
||||||
|
# enter venv
|
||||||
|
# vhs < misc/demo.tape
|
||||||
|
#
|
||||||
|
# We need macros.lamb, so run this from
|
||||||
|
# the root of this repository.
|
||||||
|
|
||||||
|
|
||||||
#Output lambdemo.mp4
|
#Output lambdemo.mp4
|
||||||
Output lambdemo.gif
|
Output lambdemo.gif
|
||||||
@ -18,7 +25,7 @@ Enter
|
|||||||
Sleep 2000ms
|
Sleep 2000ms
|
||||||
|
|
||||||
# Demo 1: load
|
# Demo 1: load
|
||||||
Type ":load ../macros.lamb"
|
Type ":load macros.lamb"
|
||||||
Sleep 500ms
|
Sleep 500ms
|
||||||
Enter
|
Enter
|
||||||
Sleep 2000ms
|
Sleep 2000ms
|
||||||
|
@ -1,34 +0,0 @@
|
|||||||
#!/bin/bash
|
|
||||||
# Should be run from the misc directory.
|
|
||||||
# Will not work with any other root.
|
|
||||||
|
|
||||||
# Create this file.
|
|
||||||
# Should define two variables:
|
|
||||||
# DAV_USER="name:password"
|
|
||||||
# DAV_URL="https://site.com/dav-path"
|
|
||||||
|
|
||||||
if [[ -f "secrets.sh" ]]; then
|
|
||||||
source secrets.sh
|
|
||||||
else
|
|
||||||
echo "Cannot run without secrets.sh"
|
|
||||||
exit
|
|
||||||
fi
|
|
||||||
|
|
||||||
# Activate venv if not in venv
|
|
||||||
if [[ "$VIRTUAL_ENV" == "" ]]; then
|
|
||||||
source ../venv/bin/activate
|
|
||||||
fi
|
|
||||||
|
|
||||||
# Make sure our venv is running the latest
|
|
||||||
# version of lamb.
|
|
||||||
pip install --editable ..
|
|
||||||
|
|
||||||
|
|
||||||
# Make gif
|
|
||||||
vhs < demo.tape
|
|
||||||
|
|
||||||
# Upload
|
|
||||||
curl \
|
|
||||||
--user $DAV_USER \
|
|
||||||
--url $DAV_URL \
|
|
||||||
--upload-file "lambdemo.gif"
|
|
@ -15,7 +15,7 @@ lamb = "lamb_engine:main"
|
|||||||
[project]
|
[project]
|
||||||
name = "lamb_engine"
|
name = "lamb_engine"
|
||||||
description = "A lambda calculus engine"
|
description = "A lambda calculus engine"
|
||||||
version = "1.1.7"
|
version = "1.1.6"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"prompt-toolkit==3.0.31",
|
"prompt-toolkit==3.0.31",
|
||||||
"pyparsing==3.0.9"
|
"pyparsing==3.0.9"
|
||||||
|
Reference in New Issue
Block a user