issues
search
orcmid
/
miser
The Miser Project is practical demonstration of computation-theoretical aspects of software
https://orcmid.github.io/miser/
Apache License 2.0
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Move lindies to obtheory from obaptheory
#75
orcmid
opened
11 months ago
0
Bring the Ground Truth and Narrative to docs/
#74
orcmid
opened
11 months ago
0
Replicate orcmid/readings and miser/readings in orcmid.github.io/bib for consolidation of bibliographic material
#73
orcmid
opened
11 months ago
0
Move the introduction of Lindies to obtheory.txt
#72
orcmid
closed
12 months ago
1
Explain how the carrying of state is accomplished thanks to enclosures, cK, and obap.self
#71
orcmid
opened
1 year ago
0
Explain what has the expression of combinators be interpretation-preserving
#70
orcmid
opened
1 year ago
1
Confirm movement of miser-theory images/ and /readings from nfoCentrale
#69
orcmid
closed
11 months ago
1
Adjust obaptheory to allow some singletons in traps
#68
orcmid
opened
2 years ago
0
Move ob-exp.txt from oMiser to oFrugal.
#67
orcmid
opened
2 years ago
0
Split out CFob grammar from other round-tripping
#66
orcmid
opened
2 years ago
0
Change Internet/docs/blogs references from oMiser/ob-exp to oFrugal/op-exp
#63
orcmid
opened
2 years ago
0
Correct repo links from oMiser/ob-exp.txt to oFrugal/ob-exp.txt
#62
orcmid
opened
2 years ago
0
Define the look-up process for oFrugal binding resolution
#61
orcmid
opened
2 years ago
1
Split oMiser and oFrugal grammars
#56
orcmid
opened
3 years ago
1
Convert Appropriate Issues to Discussions
#36
orcmid
opened
3 years ago
1
Change master branch name to main branch name
#34
orcmid
opened
3 years ago
0
Need for On Ramp and Guard Rails
#33
orcmid
closed
3 years ago
0
Need intensional printing
#32
orcmid
closed
3 years ago
2
Persistent Namings: Libraries and Distributed Access
#31
orcmid
closed
3 years ago
1
Imperative/Interactive Behavior and "Compute Expressions"
#30
orcmid
closed
3 years ago
2
Traps, Traces, Continuations, and Program Points
#29
orcmid
closed
3 years ago
0
Implement λ.x (lambda.x) and ρ.f (rho.f for rec.f)
#28
orcmid
closed
3 years ago
0
long-Form Issues Not Printing Reliably
#27
orcmid
opened
4 years ago
0
Seeking oMiser Accelerators
#26
orcmid
closed
3 years ago
0
Seeking Lexical and Precedence Parsing
#25
orcmid
closed
3 years ago
0
oFrugal Syntax Updates Needed
#24
orcmid
opened
4 years ago
5
Make Stateful Constructions: The Capsule Hack
#23
orcmid
closed
3 years ago
5
Introduce the obapx.PROC/obapx.DEF Extension
#22
orcmid
closed
3 years ago
1
Minimum number of primitives?
#21
rnd0101
closed
3 years ago
18
"enclosures" and "encapsulations"
#20
band
closed
3 years ago
5
Typos in ob.txt
#19
orcmid
opened
5 years ago
2
Confirm the restatement of obaptheory.txt
#18
orcmid
opened
5 years ago
0
Editing Miser Project: Interpretation, Representation, Computation, and Manifestation
#17
orcmid
opened
5 years ago
1
typo in obtheory
#16
band
opened
5 years ago
10
typos in detailed grammar
#15
rnd0101
closed
6 years ago
1
Resolving oFrugal Applicative-Expression Grammar
#14
orcmid
closed
3 years ago
11
Resolving infix/applicative-operation Precedence
#13
orcmid
closed
6 years ago
11
Learning to program
#12
rnd0101
closed
3 years ago
23
Practical frugal shell issues and possible solutions
#11
rnd0101
closed
6 years ago
4
"Textual" substitution fails?
#10
rnd0101
closed
6 years ago
32
How to cite?
#9
rnd0101
closed
3 years ago
5
oFrugal grammar?
#8
rnd0101
closed
3 years ago
26
Combinator Representation and Interpretation-Preserving Procedures
#7
orcmid
closed
3 years ago
18
What is apint of arbitrary individual ob?
#6
rnd0101
closed
6 years ago
6
Computational complexity
#5
rnd0101
closed
3 years ago
1
Negations in axioms
#4
rnd0101
closed
6 years ago
19
What's the REPL/Ob input/output notation?
#3
orcmid
closed
6 years ago
6
What are Individuals and Lindies all about?
#2
orcmid
closed
6 years ago
25
Questions
#1
rnd0101
closed
3 years ago
24