search

sasagawa888 / eisl

ISLisp interpreter/compiler
Other
272 stars 22 forks source link

Implementation of extended eval #222

Closed fedemengo closed 1 year ago

fedemengo commented 1 year ago

Hey, awesome work!

I'm interested in doing something similar to Chaitin extended eval. I skimmed through the code but I couldn't see how the bound on the execution time is implemented. Could you give me some pointers?

sasagawa888 commented 1 year ago

Thank you. I wrote about extended eval in CHAITIN.md . See that document. https://github.com/sasagawa888/eisl/blob/master/documents/CHAITIN.md

eval code is in function.c line 2687.