Fangyi Zhou

They are random R outputs instead of data.

Subtyping is not displayed in table of contents

1

https://github.com/plfa/plfa.github.io/blob/dev/src/plfa/part2/Subtyping.lagda.md It seems that the previous page (More) directly goes to the next page (Bisimulation), and vice versa. So this chapter is skipped.

Encode String literals in SMT

3

Based on #1380 by @A-Manning I added a switch to enable encoding (`smtencoding.encode_string`), and the example in #1380 is able to typecheck.

Better version scheme?

4

Hi, The ppxlib version scheme does not say which AST is being used, and this leads to breakages when the AST is bumped, in the case when an upper bound...

Thanks for the nice template! I noted that upstream has added some support for dark mode. I incorporated the changes from upstream and made some subsequent changes. So far, the...

Show role name in Efsm graph name

2

Currently we have a default of `digraph G`, better to replace that with `Role@Proto`

Possibly useful article: https://baturin.org/blog/declarative-parse-error-reporting-with-menhir/

ppx_implicits is not compatible with OCaml 4.05.0

1

Configure script complains about missing `ppx_implicits`, but this package does not work with OCaml 4.05.0, hence I cannot compile this package. Any suggestions?