Compare commits

..

No commits in common. "da997b80c73cd29a10b7032be19871b046fafde2" and "12d6176f63126e8fe05bb5fa4687c0829022c431" have entirely different histories.

6 changed files with 12 additions and 41 deletions

3
.gitignore vendored
View File

@ -9,5 +9,4 @@ build
dist dist
# Misc # Misc
*.gif *.gif
misc/secrets.sh

View File

@ -8,7 +8,6 @@
"mdel", "mdel",
"onefile", "onefile",
"Packrat", "Packrat",
"printables",
"pyparsing", "pyparsing",
"rlimit", "rlimit",
"runstatus", "runstatus",

View File

@ -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 = (

View File

@ -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

View File

@ -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"

View File

@ -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"