mirror of
https://github.com/sdiehl/wiwinwlh.git
synced 2024-09-11 12:05:25 +03:00
fix pdf build script
This commit is contained in:
parent
0a22128acc
commit
82f9230066
3
Makefile
3
Makefile
@ -14,5 +14,8 @@ includes: includes.hs
|
||||
%.html: %.md includes
|
||||
./includes < $< | $(PANDOC) -c $(STYLE) --template $(TEMPLATE) -s -f $(IFORMAT) -t html $(FLAGS) -o $@
|
||||
|
||||
%.pdf: %.md includes
|
||||
./includes < $< | $(PANDOC) -c -s -f $(IFORMAT) --latex-engine=xelatex $(FLAGS) -o $@
|
||||
|
||||
clean:
|
||||
-rm $(CHAPTERS) $(HTML)
|
||||
|
BIN
img/diagram1.png
Normal file
BIN
img/diagram1.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 12 KiB |
BIN
img/lambda.png
Normal file
BIN
img/lambda.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 4.5 KiB |
@ -2778,7 +2778,7 @@ calculus is three components:
|
||||
- **Lam** - A lambda abstraction
|
||||
- **App** - An application
|
||||
|
||||
![](img/lambda.svg)
|
||||
![](img/lambda.png)
|
||||
|
||||
There are many different ways of modeling these constructions and data structure representations, but they all
|
||||
more or less contain these three elements. For example, a lambda calculus that uses String names on lambda binders
|
||||
@ -5090,7 +5090,7 @@ Diagrams is a a parser combinator library for generating vector images to SVG an
|
||||
$ runhaskell diagram1.hs -w 256 -h 256 -o diagram1.svg
|
||||
```
|
||||
|
||||
![](img/diagram1.svg)
|
||||
![](img/diagram1.png)
|
||||
|
||||
See: [Diagrams Quick Start Tutorial](http://projects.haskell.org/diagrams/doc/quickstart.html)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user