Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hmemcpy/milewski-ctfp-pdf issues and pull requests

#342 - Question: Difference between "arrow" and "morphism"

Issue - State: closed - Opened by ktgw0316 13 days ago - 1 comment

#340 - fix typo in 3.14

Pull Request - State: closed - Opened by kkinugasa 2 months ago - 2 comments

#339 - Correct the build command for Haskell

Pull Request - State: closed - Opened by danshearer 2 months ago - 1 comment

#338 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies

#337 - Possible typo in 3.5

Issue - State: closed - Opened by ktgw0316 4 months ago - 3 comments

#336 - fix(Section 3.11): typo (A -> Set)

Pull Request - State: closed - Opened by ya-poo 5 months ago

#335 - Use consistent epsilon symbol

Pull Request - State: closed - Opened by EFanZh 6 months ago - 2 comments

#334 - Fix category font style

Pull Request - State: open - Opened by EFanZh 7 months ago

#333 - readme: update NixOS wiki link

Pull Request - State: closed - Opened by m15a 7 months ago - 1 comment

#332 - fix a typo in chapter ends and coends

Pull Request - State: closed - Opened by 5d 7 months ago

#331 - self referencing fi in freeFunctor snippet10.scala

Pull Request - State: open - Opened by maksymilianrozanski 8 months ago

#330 - typo (\cat{C} -> \cat{C}^\mathit{op}) in 2.6

Pull Request - State: closed - Opened by kkinugasa 8 months ago - 3 comments

#329 - latest pdf for category-theory-for-programmers-scala

Issue - State: closed - Opened by Dieken 9 months ago - 6 comments

#328 - Fix typos

Pull Request - State: closed - Opened by ktgw0316 10 months ago

#327 - Lean code snippets for Sec 1.3

Pull Request - State: closed - Opened by williamdemeo 11 months ago - 1 comment

#326 - Section 2.5 (Ch 15)

Pull Request - State: closed - Opened by williamdemeo 11 months ago - 1 comment

#325 - Lower-case type variable names and other improvements to Agda code snippets

Pull Request - State: closed - Opened by williamdemeo 12 months ago - 1 comment

#324 - Small fixes

Pull Request - State: closed - Opened by EFanZh about 1 year ago - 1 comment

#323 - nix: refactor Nix flake files

Pull Request - State: closed - Opened by drupol about 1 year ago

#322 - Use `\mathit` for multi-letter identifiers

Pull Request - State: closed - Opened by EFanZh about 1 year ago - 7 comments

#321 - Fix prettier check

Pull Request - State: closed - Opened by EFanZh about 1 year ago - 1 comment

#320 - Make spaces after functors consistent

Pull Request - State: closed - Opened by EFanZh about 1 year ago - 3 comments

#319 - Fix spacing around multiplication operator

Pull Request - State: closed - Opened by EFanZh about 1 year ago

#317 - initial commit of Agda snippets for Chapter 2

Pull Request - State: closed - Opened by williamdemeo over 1 year ago - 1 comment

#316 - A mistake in Section 6.3

Issue - State: closed - Opened by daleydeng over 1 year ago - 5 comments

#315 - Update snippet29.hs

Pull Request - State: closed - Opened by BartoszMilewski over 1 year ago - 1 comment

#314 - Update kleisli-categories.tex

Pull Request - State: closed - Opened by adkian over 1 year ago - 1 comment

#313 - Fix `fullname` variable

Pull Request - State: closed - Opened by drupol over 1 year ago

#312 - Result folder appears empty

Issue - State: closed - Opened by behoppe over 1 year ago - 4 comments

#310 - Use Rust as an alternative of C++?

Issue - State: open - Opened by HaoYang670 almost 2 years ago - 2 comments

#309 - Replace template<class> with template<typename>

Pull Request - State: open - Opened by matssson almost 2 years ago - 2 comments

#308 - fix: Update badge link

Pull Request - State: closed - Opened by drupol almost 2 years ago

#307 - fix: remove custom `pygments-style-github`

Pull Request - State: closed - Opened by drupol almost 2 years ago

#306 - refactor: CI and nix

Pull Request - State: closed - Opened by drupol almost 2 years ago - 8 comments

#305 - CI refactoring and update

Pull Request - State: closed - Opened by drupol almost 2 years ago - 1 comment

#304 - Fix minor typos

Pull Request - State: closed - Opened by ktgw0316 almost 2 years ago - 3 comments

#303 - fix trivial typo in scala snippet

Pull Request - State: closed - Opened by darrenjw almost 2 years ago - 2 comments

#302 - ASCII rendering of _|_ instead of Unicode

Issue - State: closed - Opened by pragma- almost 2 years ago - 4 comments

#301 - Update to Scala 3?

Issue - State: open - Opened by bblfish about 2 years ago - 1 comment

#300 - Chapter1 LEAN snippets

Pull Request - State: closed - Opened by robertness about 2 years ago - 2 comments

#299 - Releasing in Different Extensions

Issue - State: open - Opened by incetarik about 2 years ago - 1 comment

#298 - Revert wrong "typo fix" for "iff"

Pull Request - State: closed - Opened by ktgw0316 about 2 years ago - 1 comment

#297 - Desugar scala code snippet 23 in chapter 3.4 as per issue #296

Pull Request - State: closed - Opened by amacmillanparks about 2 years ago - 12 comments

#296 - Scala Snippet 23 in Chapter 3.4 is Not Desugared

Issue - State: closed - Opened by amacmillanparks about 2 years ago

#295 - Haskell version being created when using scala command

Issue - State: closed - Opened by HarvMarv about 2 years ago - 7 comments

#294 - Replace Greek letters with LaTeX

Pull Request - State: closed - Opened by ktgw0316 about 2 years ago - 1 comment

#293 - chapter section numbering

Issue - State: open - Opened by juhp over 2 years ago

#292 - Chapter 3 - Section 3.5 Clarification

Issue - State: open - Opened by clarkwalcott over 2 years ago

#291 - Add missing figure (#290)

Pull Request - State: closed - Opened by ktgw0316 over 2 years ago - 1 comment

#290 - Missing figure

Issue - State: closed - Opened by ktgw0316 over 2 years ago - 1 comment

#289 - Updated README.md as per issue #288

Pull Request - State: closed - Opened by mlliarm over 2 years ago - 5 comments

#288 - `make scala` fails to produce full PDF

Issue - State: closed - Opened by mlliarm over 2 years ago - 12 comments

#287 - Improvements in the Nix and build system.

Pull Request - State: closed - Opened by drupol over 2 years ago - 1 comment

#286 - Fix builds - use Nix for building

Pull Request - State: closed - Opened by drupol almost 3 years ago - 1 comment

#285 - Possibly a mistake that causes confusion

Issue - State: closed - Opened by NariyasuHeseri almost 3 years ago - 2 comments

#284 - Update `flake.nix`- Add `reason` edition.

Pull Request - State: closed - Opened by drupol almost 3 years ago - 2 comments

#283 - Cannot build

Issue - State: closed - Opened by Lunuy almost 3 years ago - 5 comments

#282 - Are there readily built pdf files for the covers?

Issue - State: open - Opened by leira almost 3 years ago

#281 - Fix missing apostrophe

Pull Request - State: closed - Opened by kkredit almost 3 years ago

#280 - Add missing comma

Pull Request - State: closed - Opened by sagehane about 3 years ago - 1 comment

#279 - Fix formatting in OCaml snippets

Pull Request - State: closed - Opened by jubnzv about 3 years ago - 1 comment

#278 - Fix Mac Lane reference

Pull Request - State: closed - Opened by fvoichick about 3 years ago - 3 comments

#277 - Fix formatting in the OCaml snippet

Pull Request - State: closed - Opened by jubnzv about 3 years ago - 1 comment

#275 - inter-word spacing with fontdimen

Issue - State: open - Opened by shmibs over 3 years ago

#274 - nix-shell command doesn't work

Issue - State: open - Opened by chaotaklon over 3 years ago - 2 comments

#273 - s/practical, interpretation/practical interpretation/

Pull Request - State: closed - Opened by jasone over 3 years ago - 1 comment

#272 - Page numbers not aligning with the pdf page number

Issue - State: open - Opened by ErikPrantare over 3 years ago

#271 - Typo in section products-and-coproducts?

Issue - State: closed - Opened by technic over 3 years ago - 1 comment

#270 - Remove extra semicolon in C++ code

Pull Request - State: closed - Opened by winestone almost 4 years ago

#269 - Revert "Fixed a typo"

Pull Request - State: closed - Opened by hmemcpy almost 4 years ago

#268 - Acknowledge std::variant

Issue - State: open - Opened by elshize almost 4 years ago

#267 - Update automatic tag name.

Pull Request - State: closed - Opened by drupol almost 4 years ago - 1 comment

#266 - Make the second "LaTeX" in the Colophon a macro

Pull Request - State: closed - Opened by Aster89 almost 4 years ago

#265 - Typo in Preface

Issue - State: closed - Opened by bigaure almost 4 years ago

#264 - How does one build the reasonml version only?

Issue - State: open - Opened by idkjs almost 4 years ago

#263 - Fix error in type for bimap

Pull Request - State: closed - Opened by pspencil almost 4 years ago - 1 comment

#262 - OCaml - update 1.7 snippets

Pull Request - State: closed - Opened by ArulselvanMadhavan almost 4 years ago - 4 comments

#261 - Typo: choose rather than chose

Pull Request - State: closed - Opened by oylenshpeegul about 4 years ago - 1 comment

#260 - Replace template<class> with template<typename>

Pull Request - State: closed - Opened by matssson about 4 years ago - 2 comments

#259 - Update 1.3's C++ concept implementation of Monoid

Pull Request - State: closed - Opened by rosds about 4 years ago - 9 comments

#258 - Typo: s/chose/choose/

Pull Request - State: closed - Opened by oylenshpeegul about 4 years ago - 1 comment

#257 - Fix OCaml and ReasonML ribbon colors

Pull Request - State: closed - Opened by fhammerschmidt about 4 years ago

#256 - PDF is great but ePub is even better (on e-ink devices)

Issue - State: open - Opened by Zingam about 4 years ago - 14 comments

#255 - Since a couple of releases assets are uploaded twice - it's confusing

Issue - State: closed - Opened by drupol about 4 years ago - 2 comments

#254 - Switch GitHub Actions workflow to use Nix

Pull Request - State: closed - Opened by aszlig about 4 years ago - 7 comments

#253 - Switch to using Nix flakes

Pull Request - State: closed - Opened by aszlig about 4 years ago - 6 comments

#252 - Nix tweaks

Pull Request - State: closed - Opened by jkachmar over 4 years ago - 8 comments

#251 - Builds with GitHub actions

Pull Request - State: closed - Opened by drupol over 4 years ago - 3 comments

#250 - Gactions

Pull Request - State: closed - Opened by drupol over 4 years ago - 1 comment

#249 - remove "theory" in "bicartesian closed category theory"

Pull Request - State: closed - Opened by rfourquet over 4 years ago - 1 comment

#248 - Fixed a typo

Pull Request - State: closed - Opened by natewind over 4 years ago - 2 comments

#247 - ReasonML edition.

Pull Request - State: closed - Opened by fhammerschmidt over 4 years ago - 9 comments

#246 - Create Dockerfile and instructions for building using the docker image

Pull Request - State: open - Opened by olandere over 4 years ago - 2 comments

#244 - Update simple-algebraic-data-types.tex

Pull Request - State: closed - Opened by ac27182 over 4 years ago - 1 comment

#243 - Change bimap to dimap in scala's Profunctor definition

Pull Request - State: closed - Opened by sw1sh almost 5 years ago - 2 comments