search

chatziko / lci

A lambda calculus interpeter
https://www.chatzi.org/lci/
GNU General Public License v2.0
64 stars 7 forks source link

Anyway to load from a file? #15

Open abc-JYL opened 4 months ago

abc-JYL commented 4 months ago

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 True 0 1
abc-JYL commented 4 months ago

Sorry, a update, I mean to open the file via command line not the repl