Skip to content

Tags: ITSecMedia/milewski-ctfp-pdf

Tags

v19-eb86347

Update limits-and-colimits.tex

05c1971

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
OCaml - update 1.7 snippets (hmemcpy#262)

* update 1.7 snippets

* Run ocamlformat

Co-authored-by: Arul Madhavan <arul.madhavan@arulmadhavan-MBP-7745.local>

v18-7a5fdbf

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Revert "Fixed a typo (hmemcpy#248)" (hmemcpy#269)

This reverts commit 1b53921.

v17-ea84e97

Revert "Fixed a typo (hmemcpy#248)"

This reverts commit 1b53921.

v16-75cb3bd

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update automatic tag name. (hmemcpy#267)

A better human readable name.

a87550a

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Make the second "LaTeX" in the Colophon a macro (hmemcpy#266)

97de3c6

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Typo: choose rather than chose (hmemcpy#261)

f15abcd

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update 1.3's C++ concept implementation of Monoid (hmemcpy#259)

Co-authored-by: Alfonso Ros <alfonso.ros@esrlabs.com>

afb2961

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Remove unnecessary brackets (hmemcpy#189)

In the instance declaration of `BiComp`.

fab316e

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Fix OCaml and ReasonML ribbon colors (hmemcpy#257)

* Revert accidental ocaml ribbon color change.

* Use actual ReasonML ribbon color.