Commit graph

797 commits

Author SHA1 Message Date
David Himmelstrup
5784309672 Add support for quad beziers. 2020-07-27 18:22:33 +08:00
David Himmelstrup
5ca3dc74f1 Hide incomplete articles. 2020-07-27 08:25:17 +08:00
David Himmelstrup
5d05255dee Remove unused import. 2020-07-25 14:26:43 +08:00
David Himmelstrup
45992fd6c4 Export 'Duration' and fix context setting for objects. 2020-07-25 13:47:26 +08:00
David Himmelstrup
f5284ded20 Remove the unused 'withEasing'. 2020-07-24 21:49:41 +08:00
David Himmelstrup
53440c76bf Add camera object. 2020-07-24 18:46:40 +08:00
David Himmelstrup
4b513aea92 Add new constants: screenTop, screenBottom, screenLeft, screenRight. 2020-07-24 18:46:19 +08:00
David Himmelstrup
76b2eb29f2 Change test-suite defaults. 2020-07-24 14:39:56 +08:00
David Himmelstrup
e327310a62 Write lenses by hand. 2020-07-24 14:19:42 +08:00
David Himmelstrup
d6ae75c975 Fix warning. 2020-07-23 21:58:37 +08:00
David Himmelstrup
5f883f3da6 Add knock knock example. 2020-07-23 17:53:58 +08:00
David Himmelstrup
73b6941986 Add basic oShow and oHide. 2020-07-23 17:42:23 +08:00
David Himmelstrup
b1dd98a4f7 Add positioning lenses. 2020-07-23 17:42:13 +08:00
David Himmelstrup
456ccd7531 Scenes: Fix tweening behavior and add helper functions. 2020-07-23 15:19:42 +08:00
David Himmelstrup
fce5860687 Add helper script for running the test suite. 2020-07-23 15:19:19 +08:00
David Himmelstrup
a63f238d6f discord-bot: import Control.Lens 2020-07-23 14:12:32 +08:00
David Himmelstrup
863741473e Fix warnings. 2020-07-23 13:34:44 +08:00
David Himmelstrup
fa75d13776 Experiment with new object API. 2020-07-23 11:15:10 +08:00
David Himmelstrup
7c2efb8501 Don't use 'renameFile' directly. 2020-07-22 20:59:42 +08:00
David Himmelstrup
644a03129f Allow morphing in the discord-bot. 2020-07-22 20:34:06 +08:00
David Himmelstrup
1d7f7acdf1 Fix ctex doc gif. 2020-07-20 17:39:12 +08:00
Krantz-XRF
6cf6fe85b0 LaTeX: force UTF-8 output for TeX files 2020-07-19 21:39:59 +08:00
David Himmelstrup
6b3e7a16b8 Link directly to README on github, add link to issue tracker. 2020-07-19 11:41:52 +08:00
David Himmelstrup
6b69a6cbc3
Link to discord. 2020-07-19 11:37:04 +08:00
David Himmelstrup
a3d66471a1
Add 'Features' and 'Roadmap' 2020-07-19 11:29:26 +08:00
David Himmelstrup
c9b2f8cc2b
README: Ask for stars. 2020-07-18 19:34:38 +08:00
David Himmelstrup
b0a8c6791f discord-bot: Don't mangle docs. 2020-07-17 16:42:36 +08:00
David Himmelstrup
0e4a9e1240 discord-bot: fix missing basecase. 2020-07-17 16:29:09 +08:00
David Himmelstrup
3dd8a61d32 discord-bot: Fix security vulnerability. 2020-07-17 14:04:32 +08:00
David Himmelstrup
be8776b5f7 discord-bot: improve doc formatting. 2020-07-17 09:11:07 +08:00
David Himmelstrup
05b7516f30
Discord bot article (#111) 2020-07-16 22:55:34 +08:00
David Himmelstrup
4db4fcf973 discord-server: Add sanity checking. 2020-07-16 15:17:29 +08:00
David Himmelstrup
fdfad458fc discord-bot: set timeout to 15 seconds. 2020-07-16 14:18:28 +08:00
David Himmelstrup
9d7643a6cd Fix discord-bot haddock configuration. 2020-07-16 09:30:59 +08:00
David Himmelstrup
e40777a1a4 discord-bot: wibbles. 2020-07-15 23:13:19 +08:00
David Himmelstrup
d09ecfc7b1 discord-bot: support :t and :doc commands. 2020-07-15 19:01:31 +08:00
David Himmelstrup
bad9c8dbee discord-bot: add version command 2020-07-15 14:36:01 +08:00
Xie Ruifeng
fbce05fa6f
LaTeX: add xelatexWithHeaders (#110)
* LaTeX: add xelatexWithHeaders

* LaTeX: add ctex[WithHeaders], xelatex[WithHeaders] changed

* Export ctex in Reanimate, update doc_xelatex to use ctex

* xelatex and ctex examples

* LaTeX: Remove xelatex example
2020-07-15 14:09:36 +08:00
David Himmelstrup
8fbd5bb8fe discord-bot: install dependency needed for ctex. 2020-07-15 13:56:41 +08:00
David Himmelstrup
ebc633c8ea discord-bot: install blender, povray, and latex. 2020-07-15 09:37:52 +08:00
David Himmelstrup
644fc99e8d discord-bot: Set OverloadedStrings, import images/circlePlot/ternaryPlot. 2020-07-14 23:07:08 +08:00
David Himmelstrup
3670777695 discord-bot: support multiline scripts. 2020-07-14 22:44:02 +08:00
David Himmelstrup
13342b2a8e discord-bot: run stack directly such that the process can be interrupted. 2020-07-14 19:43:04 +08:00
David Himmelstrup
172cb67752 Restart bot if a script timed out. 2020-07-14 19:39:31 +08:00
David Himmelstrup
c9d3827beb
Link to docker hub 2020-07-14 16:15:20 +08:00
David Himmelstrup
565b183dfd Add shield for discord-bot build status. 2020-07-14 15:11:38 +08:00
David Himmelstrup
e3c43c2dfa discord-bot: timeout and other wibbles. 2020-07-14 14:48:22 +08:00
David Himmelstrup
3c310f079f
Discord bot (#108) 2020-07-14 13:49:27 +08:00
David Himmelstrup
d32b485548
Use Discord invite link 2020-07-12 18:57:01 +08:00
David Himmelstrup
410610424b
Add Discord badge. 2020-07-12 18:54:47 +08:00