Search results

OCaml snippets outdated

Status: Open.

#345 In hmemcpy/milewski-ctfp-pdf;

· ComanderP opened on Dec 29, 2024

Consider Formally verifying the properties in Category Theory using proof assistants.

Status: Open.

#311 In hmemcpy/milewski-ctfp-pdf;

· HaoYang670 opened on Mar 23, 2023

Use Rust as an alternative of C++?

Status: Open.

#310 In hmemcpy/milewski-ctfp-pdf;

· HaoYang670 opened on Feb 15, 2023

Update to Scala 3?

Status: Open.

#301 In hmemcpy/milewski-ctfp-pdf;

· bblfish opened on Nov 12, 2022

Releasing in Different Extensions

Status: Open.

#299 In hmemcpy/milewski-ctfp-pdf;

· incetarik opened on Sep 20, 2022

chapter section numbering

Status: Open.

#293 In hmemcpy/milewski-ctfp-pdf;

· juhp opened on Jul 19, 2022

Chapter 3 - Section 3.5 Clarification

Status: Open.

#292 In hmemcpy/milewski-ctfp-pdf;

· clarkwalcott opened on Jul 10, 2022

Are there readily built pdf files for the covers?

Status: Open.

#282 In hmemcpy/milewski-ctfp-pdf;

· leira opened on Feb 10, 2022

Why not give Haskell example of implementation of coproduct?

Status: Open.

#276 In hmemcpy/milewski-ctfp-pdf;

· BurnyCoder opened on Aug 24, 2021

inter-word spacing with fontdimen

Status: Open.

#275 In hmemcpy/milewski-ctfp-pdf;

· shmibs opened on Aug 22, 2021

nix-shell command doesn't work

Status: Open.

#274 In hmemcpy/milewski-ctfp-pdf;

· chaotaklon opened on Aug 9, 2021

Page numbers not aligning with the pdf page number

Status: Open.

#272 In hmemcpy/milewski-ctfp-pdf;

· ErikPrantare opened on Mar 22, 2021