Skip to content

Tags: ITSecMedia/milewski-ctfp-pdf

Tags

v19-eb86347

Toggle v19-eb86347's commit message
Update limits-and-colimits.tex

05c1971

Toggle 05c1971's commit message

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 <[email protected]>

v18-7a5fdbf

Toggle v18-7a5fdbf's commit message

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

Toggle v17-ea84e97's commit message
Revert "Fixed a typo (hmemcpy#248)"

This reverts commit 1b53921.

v16-75cb3bd

Toggle v16-75cb3bd's commit message

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

Toggle a87550a's commit message

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

Toggle 97de3c6's commit message

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

Toggle f15abcd's commit message

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 <[email protected]>

afb2961

Toggle afb2961's commit message

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

Toggle fab316e's commit message

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.