Skip to content

Commit 1762dce

Browse files
committed
visual-lambda: use index.html template
1 parent 4d05ebe commit 1762dce

6 files changed

Lines changed: 524 additions & 524 deletions

File tree

!run_pygbag.bat

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,4 +16,4 @@ xcopy workspaces\library_demo.xml %DEST%\workspaces\
1616
xcopy workspaces\clear.xml %DEST%\workspaces\
1717

1818

19-
python -m pygbag --app_name VisualLambda --package bntr.visuallambda --title "Visual Lambda" %DEST%
19+
python -m pygbag --app_name VisualLambda --package bntr.visuallambda --title "Visual Lambda" --template pygbag_index_html.tmpl --icon favicon.png %DEST%

README.md

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -7,13 +7,11 @@ and from https://bitbucket.org/bntr/visual-lambda too.
77

88
The Visual Lambda environment enables intuitive manipulation of lambda calculus expressions.
99

10-
## Screenshot
11-
12-
![](http://bntr.planet.ee/lambda/screenshot_1.gif)
10+
![](https://raw.githubusercontent.com/bntre/visual-lambda/master/screenshot.png)
1311

1412
## Notation
1513
- [Basics](http://bntr.planet.ee/lambda/visual_lambda_bubble_notation.gif)
16-
- More detailed in this thesis [visual_lambda.pdf](http://bntr.planet.ee/lambda/work/visual_lambda.pdf)
14+
- More detailed in this thesis: [visual_lambda.pdf](http://bntr.planet.ee/lambda/work/visual_lambda.pdf)
1715

1816
## Reduction animation examples
1917
- ['MULT 3 2' evaluation](http://bntr.planet.ee/lambda/visual_lambda_MULT_3_2_=_6.gif)
@@ -25,7 +23,7 @@ The Visual Lambda environment enables intuitive manipulation of lambda calculus
2523
- python 3
2624
- pygame 2.4.0
2725

28-
## Run
26+
## Running
2927
python main.py
3028

3129
## Controls
@@ -39,4 +37,4 @@ The Visual Lambda environment enables intuitive manipulation of lambda calculus
3937
- [Programming with Visual Expressions, Wayne Citrin](https://web.archive.org/web/20110524135539/users.encs.concordia.ca/~haarslev/vl95www/html-papers/citrin/citrin.html)
4038
- [A Graphical Notation for the Lambda Calculus, Dave Keenan](https://dkeenan.com/Lambda/)
4139
- [Alligator Eggs, Bret Victor](http://worrydream.com/AlligatorEggs/)
42-
- More in [prathyvsh's catalog](https://github.com/prathyvsh/lambda-calculus-visualizations)
40+
- More in [Prathyvsh's catalog](https://github.com/prathyvsh/lambda-calculus-visualizations)

favicon.png

742 Bytes
Loading

0 commit comments

Comments
 (0)