issues Search Results · repo:chatziko/lci language:C
Filter by
15 results
(74 ms)15 results
inchatziko/lci (press backspace or delete to remove)The interpreter crashes (while in command line) if you press a single key. I would like to use it as a command line
utility as that is much more convenient than having to echo | lci or edit the file every ...
your-random-one
- 1
- Opened on Feb 12
- #19
Hello,
I have noticed a behavior that seems inconsistent with the lambda calculus grammar described in the project. According
to the grammar, a term can be an application of the form term term.
1. When ...
IOxBit
- 1
- Opened on Jan 19
- #17
👋 looks like the lci-1.1.tar.gz is missing for 1.1 release tag, so I tweak the homebrew build setup a bit like this
class Lci Formula
desc Interpreter for the lambda calculus
homepage https://www.chatzi.org/lci/ ...
chenrui333
- 3
- Opened on Dec 14, 2024
- #16
I have learned Lambda calculus, and I store my code (or equation) to a file, how can I load it? I have try and
lci main.lc
The code
True = (λx.λy.x)
False = (λx.λy.y)
If = (λb.λx.λy.b x y)
If ...
enhancement
abc-JYL
- 3
- Opened on Jul 5, 2024
- #15
Hi!
I love the project, and it seems like a good amount of thought and development effort was put into creating LCI. I have
LCI installed on my machine and decided to run some fuzz tests in the background. ...
Halcy0nic
- Opened on Feb 19, 2024
- #14
I chose a different representation of Nil in .lcirc, and redefined IsNil accordingly, but found that the runtime no
longer recognizes it. This would work if the runtime also used the IsNil check to test ...
tromp
- 3
- Opened on Aug 7, 2023
- #13
The implementation fails to check whether l2 is Nil in case l1 isn t Nil.
- 1
- Opened on Aug 6, 2023
- #12
It would be great to have a Scott encoding support for numbers and lists, as an alternative to Church encoding.
suhr
- 3
- Opened on Dec 25, 2021
- #11
It looks like an accepted alternative (to nested church pairs) implementation of lists in the lambda calculus is
representing them as a right-fold.
There are a few benefits to this style:
- it mirrors ...
HalosGhost
- Opened on Mar 17, 2019
- #10
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.