Compare commits
2 Commits
12d6176f63
...
da997b80c7
Author | SHA1 | Date | |
---|---|---|---|
da997b80c7 | |||
1b951813f4 |
3
.gitignore
vendored
3
.gitignore
vendored
@ -9,4 +9,5 @@ build
|
|||||||
dist
|
dist
|
||||||
|
|
||||||
# Misc
|
# Misc
|
||||||
*.gif
|
*.gif
|
||||||
|
misc/secrets.sh
|
1
.vscode/settings.json
vendored
1
.vscode/settings.json
vendored
@ -8,6 +8,7 @@
|
|||||||
"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.alphas + pp.nums + "_.")[0, ...]
|
self.pp_command = pp.Suppress(":") + pp.Word(pp.alphas + "_") + pp.Word(pp.printables)[0, ...]
|
||||||
|
|
||||||
|
|
||||||
self.pp_all = (
|
self.pp_all = (
|
||||||
|
@ -1,11 +1,4 @@
|
|||||||
# How to use this:
|
# See makedemo.sh
|
||||||
# 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
|
||||||
@ -25,7 +18,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
|
||||||
|
34
misc/makedemo.sh
Executable file
34
misc/makedemo.sh
Executable file
@ -0,0 +1,34 @@
|
|||||||
|
#!/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.6"
|
version = "1.1.7"
|
||||||
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