Anqur

Feature: Export PDF via Chrome `Print...`

3

- This feature could be easily achieved by this: ```css @media print { .some-slide-container { page-break-after: always !important; } .some-slide-container:last-of-type { page-break-after: avoid !important; } } ``` - Here is...

- I think it is better to `sys.exit(1)` and prints the error message to `stderr` - When I was writing a Bash script with `harvey` it is simply so hard...

First of all, thanks for your support of maintaining this great image! My question is why is the [official ZK image] not chosen in the compose file? Are there any...

Good (re-)first issue

1

So, what's the purpose and benefits about changing the codebase? It looks like [deno](https://deno.land/) who moved from JS to TS + Go, you just made a ground-shaking change in PLT!

Add frontend [WIP]

2

I created this PR for WIP frontend. * [x] A dummy driver * [ ] Some grammar stuff

Zoo zone for introducing inductive data types?

8

I think the introduction of inductive data types would be great, but it may bring in more problems due to recursion/induction: * How to do (dependent) pattern matching (this is...

* Try to make the project strucutre more compact

Effect types

4

Users suggest that we need to treat the effects in a disciplined way, especially these: * Async functions * Exceptions * Access of database and other external resources Consider using...

DOM component DSL

6

Or a new syntax for so called web **component combinators**?