FreeSpec

FreeSpec copied to clipboard

Let’s do it.

lthms

lthms

lthms

See one of @yurug’s comment in #51

lthms

Submit a PR to yallop/effects-bibliography

1

[yallop/effects-bibliography](https://github.com/yallop/effects-bibliography) is a pretty interesting repository with many resources. The FM2018 paper has already been submitted by a tier, and that is awesome. However, the “**Software**” section currently does not...

lthms

Currently, each file has its own list of contributors; in practice, this is nice if handled well, but error-prone as one can imagine. A well-established practice, I believe, is to...

lthms

https://github.com/lthms/FreeSpec/blob/d4e2f3a3fc7e82effddca202a8b0210dbbcf3663/theories/Core/gen_type_classes.ml#L25 [`List.concat_map`](https://v2.ocaml.org/api/List.html#VALconcat_map) was first introduced in ocaml/ocaml#8760

liyishuai