Skip to content

Issues: orcmid/miser

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21 Open 29 Closed
21 Open 29 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

miser: Replace all obsoleted project links in hybridForm footers bug documentation related to or providing documentation
#77 opened Oct 10, 2024 by orcmid
1 of 14 tasks
@orcmid
Move lindies to obtheory from obaptheory enhancement task An effort that needs to be identified and then carried out, staged as needed
#75 opened Sep 2, 2023 by orcmid
@orcmid
Bring the Ground Truth and Narrative to docs/ documentation related to or providing documentation enhancement task An effort that needs to be identified and then carried out, staged as needed
#74 opened Sep 1, 2023 by orcmid
@orcmid
Replicate orcmid/readings and miser/readings in orcmid.github.io/bib for consolidation of bibliographic material documentation related to or providing documentation task An effort that needs to be identified and then carried out, staged as needed
#73 opened Aug 31, 2023 by orcmid
@orcmid
Explain how the carrying of state is accomplished thanks to enclosures, cK, and obap.self documentation related to or providing documentation task An effort that needs to be identified and then carried out, staged as needed
#71 opened Aug 18, 2023 by orcmid
@orcmid
Explain what has the expression of combinators be interpretation-preserving documentation related to or providing documentation task An effort that needs to be identified and then carried out, staged as needed
#70 opened Aug 18, 2023 by orcmid
@orcmid
1
Adjust obaptheory to allow some singletons in traps enhancement task An effort that needs to be identified and then carried out, staged as needed
#68 opened Aug 15, 2022 by orcmid
@orcmid
Move ob-exp.txt from oMiser to oFrugal.
#67 opened Aug 1, 2022 by orcmid
Split out CFob grammar from other round-tripping discussion Project discussions enhancement task An effort that needs to be identified and then carried out, staged as needed
#66 opened Aug 1, 2022 by orcmid
@orcmid
Change Internet/docs/blogs references from oMiser/ob-exp to oFrugal/op-exp documentation related to or providing documentation task An effort that needs to be identified and then carried out, staged as needed
#63 opened Jul 31, 2022 by orcmid
@orcmid
Correct repo links from oMiser/ob-exp.txt to oFrugal/ob-exp.txt documentation related to or providing documentation task An effort that needs to be identified and then carried out, staged as needed
#62 opened Jul 31, 2022 by orcmid
@orcmid
Define the look-up process for oFrugal binding resolution documentation related to or providing documentation task An effort that needs to be identified and then carried out, staged as needed
#61 opened Jul 30, 2022 by orcmid
@orcmid
1
Split oMiser and oFrugal grammars task An effort that needs to be identified and then carried out, staged as needed
#56 opened Jan 23, 2021 by orcmid
@orcmid
1
Convert Appropriate Issues to Discussions task An effort that needs to be identified and then carried out, staged as needed
#36 opened Jan 16, 2021 by orcmid
1
Change master branch name to main branch name task An effort that needs to be identified and then carried out, staged as needed
#34 opened Sep 25, 2020 by orcmid
long-Form Issues Not Printing Reliably bug
#27 opened Jun 7, 2020 by orcmid
oFrugal Syntax Updates Needed task An effort that needs to be identified and then carried out, staged as needed
#24 opened May 28, 2020 by orcmid
5
Typos in ob.txt bug
#19 opened May 9, 2019 by orcmid
2
Confirm the restatement of obaptheory.txt enhancement task An effort that needs to be identified and then carried out, staged as needed
#18 opened Feb 20, 2019 by orcmid
12 tasks
@orcmid
Editing Miser Project: Interpretation, Representation, Computation, and Manifestation enhancement task An effort that needs to be identified and then carried out, staged as needed
#17 opened Feb 20, 2019 by orcmid
11 tasks
@orcmid
1
typo in obtheory bug question
#16 opened Jan 8, 2019 by band
10
ProTip! Follow long discussions with comments:>50.