1
1
mirror of https://github.com/sdiehl/wiwinwlh.git synced 2024-09-11 12:05:25 +03:00
Commit Graph

36 Commits

Author SHA1 Message Date
sdiehl
06fd31632d Write more 2020-02-13 16:33:07 +00:00
sdiehl
f6f3b44393 Write more 2020-02-13 08:12:11 +00:00
sdiehl
1979b57c1f Write more 2020-02-11 09:20:08 +00:00
sdiehl
c964a5962d Write more 2020-02-11 07:01:50 +00:00
sdiehl
ad72e28ffa Write more 2020-02-06 02:55:04 +00:00
sdiehl
3cc45a9033 Write more 2020-02-05 20:24:03 +00:00
sdiehl
350e62cd21 Write more 2020-02-05 09:47:48 +00:00
sdiehl
f1f9731daf Write more 2020-02-05 09:20:41 +00:00
sdiehl
d4cefde9c7 Write more 2020-02-05 08:28:55 +00:00
sdiehl
f1edf132d4 Write more 2020-02-02 21:21:02 +00:00
sdiehl
bebe993837 Write more 2020-02-02 19:48:14 +00:00
sdiehl
fd589be411 Write more 2020-02-01 14:06:14 +00:00
sdiehl
77ccb60744 Write more 2020-02-01 12:47:31 +00:00
sdiehl
bf998eb1c8 Write more 2020-01-31 12:50:06 +00:00
sdiehl
f3fa531476 Write more 2020-01-31 12:32:52 +00:00
sdiehl
355eff3196 Write more 2020-01-31 11:25:48 +00:00
sdiehl
7946d2e32e Write more 2020-01-26 10:50:52 +00:00
sdiehl
9918ecea82 Write more 2020-01-26 10:02:13 +00:00
sdiehl
d7cea6a001 Write more 2020-01-25 16:33:31 +00:00
sdiehl
5b127bd40d Write more 2020-01-25 14:27:07 +00:00
sdiehl
de3ed731cb Write more 2020-01-25 12:46:04 +00:00
sdiehl
ef4f401237 Write more 2020-01-18 06:20:33 +00:00
sdiehl
a7109b5df6 Write more 2020-01-17 16:54:07 +00:00
Igal Tabachnik
8009d67678 Fixing missing unicode characters in rendered PDF (#177)
* Tweaking fonts to support unicode characters + making it pretty

* Adding unicode mapping to math symbols for missing characters

* Trying older ghc to fix the CI build issues
2020-01-17 16:01:01 +00:00
sdiehl
53c11cbc8b Update latex engine 2019-12-23 11:45:45 +00:00
sdiehl
0ff9a476e2 Some updates and purges 2019-12-23 10:18:10 +00:00
Stephen Diehl
679e83103e
stub out cryptography section 2017-03-10 11:06:08 +00:00
Stephen Diehl
f07e724461 fix monad line breaks 2016-12-13 11:08:17 +00:00
Oskar Wickström
512e9ce8c0 Navigation and scroll fixes (#143)
* Fix scrolling and some other minor goodies

* Add document title and version at beginning

* Fix rest of overflowing tables

* Automatically wrap tables
2016-11-07 06:00:16 -05:00
Oskar Wickström
56f908deb5 Use a lighter and responsive styling (#140)
* Use a lighter and responsive styling

* Fix indentation
2016-11-06 16:57:07 -05:00
Daniel Taskoff
3137020277 Add a template for creating an epub file
Previously, the title, author and date weren't displayed and the table
of contents had an empty field.
2016-06-25 12:08:35 +03:00
Stephen Diehl
5862fd2778 just include web fonts 2016-04-27 10:34:07 -04:00
Stephen Diehl
d364c9021c reform pdf output & mmorph 2016-03-28 15:49:49 -04:00
Stephen Diehl
e3af3fb299 include fonts 2016-03-22 21:00:59 -04:00
Stephen Diehl
24eef99807 fix sidebar styling 2016-03-22 19:51:51 -04:00
Stephen Diehl
d9b0154a99 liquidhaskell 2016-03-22 19:25:14 -04:00