lci

lci copied to clipboard

Scott encoding

2

It would be great to have a [Scott encoding](https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encoding) support for numbers and lists, as an alternative to Church encoding.

suhr

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...

HalosGhost

`lci` is already incredibly wonderful. But, adding some support for the De Bruijn Index notation could lead to some amazing things. Below is a list of things I would love...

HalosGhost

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...

tromp

The implementation fails to check whether l2 is Nil in case l1 isn't Nil.

tromp

Anyway to load from a file?

1

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...

abc-JYL

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...

Halcy0nic