Ecosyste.ms: Issues

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

GitHub / dangrayson/vv-c-system-from-a-monad issues and pull requests

#38 - Bibliography needs updating?

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

#37 - update reference to formalization of simply-typed monads

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

#36 - improve some bibtex entries

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

#34 - typos Sec 4.3

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

#33 - Some comments on the introduction

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

#32 - add missing boldfont in C(RR)

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

#31 - use recommended environment, remove misleading word 'table'

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

#30 - small corrections in Secs 5.1 and 5.2

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

#29 - In Sec 3.2, what is B(CC[F])?

Issue - State: closed - Opened by benediktahrens about 3 years ago - 4 comments

#28 - Definitions in Sec 3.1

Issue - State: closed - Opened by benediktahrens about 3 years ago

#27 - typos in section on monads and modules

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

#26 - add source of morphism

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

#25 - add period

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

#24 - Categories in Kleisli form

Issue - State: closed - Opened by benediktahrens about 3 years ago - 7 comments

#23 - C -> \C

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

#22 - comment on DG's comment

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

#21 - Turn 'leftover' introduction into overview

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

#20 - small changes

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

#19 - Too much of the introduction ignored?

Issue - State: closed - Opened by benediktahrens about 3 years ago - 1 comment

#18 - make Id-type more readable

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

#17 - replace 'one' by 'we'

Pull Request - State: closed - Opened by benediktahrens over 3 years ago

#17 - replace 'one' by 'we'

Pull Request - State: closed - Opened by benediktahrens over 3 years ago

#16 - B-systems versus C-systems

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

#15 - label formatting for list of sentences

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

#14 - fix the list of sentence forms on page 4 as suggested in issue #11

Pull Request - State: closed - Opened by DanGrayson over 3 years ago - 2 comments

#13 - Hofmann and some other authors suggest to directly construct the set of

Issue - State: closed - Opened by benediktahrens over 3 years ago - 5 comments

#12 - the sequences defined by the table (\ref{2017.04.07.eq1}) are in $Beq$

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

#11 - Enumeration of 5 forms on p15 has same format as equations

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

#10 - underline some natural numbers

Pull Request - State: closed - Opened by benediktahrens over 3 years ago

#9 - In all that follows we write $Sets$ instead of $Sets(U)$.

Issue - State: closed - Opened by benediktahrens over 3 years ago

#8 - Spelling of X-sorted

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

#7 - macros for margin notes, some other features (currently not used)

Pull Request - State: closed - Opened by benediktahrens over 3 years ago

#6 - update two references

Pull Request - State: closed - Opened by benediktahrens over 3 years ago

#5 - typo an->at

Pull Request - State: closed - Opened by benediktahrens over 3 years ago

#4 - change indices to unify with later use

Pull Request - State: closed - Opened by benediktahrens over 3 years ago - 2 comments

#3 - remove duplicate 'that'

Pull Request - State: closed - Opened by benediktahrens over 3 years ago

#2 - Fix typo "Mot -> Mor"

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

#1 - Correct parentheses in B-sets

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