eole

eole copied to clipboard

Similar projects

9

Hi, I read your [0] and I want to point you some similar projects: Formality, chemlambda and kali. [0] https://www.reddit.com/r/haskell/comments/dih8xu/optimal_reduction_without_oracle_prototype/ [1] https://github.com/moonad/Formality (labels fans) [2] https://github.com/chorasimilarity/chemlambda-gui/blob/gh-pages/dynamic/README.md (does not label fans)...

mbuliga

Issue#2

1

So what's the limit on how far into a calculus course it can evaluate?

jeranimation

Incorrect result on some inputs

5

With the following input, Eole produces an incorrect result: ``` (a->((b->((c->c) ((d->(e->(f->((((e d) f) (a (e e))) ((f (g->b)) (h->(i->(h (b (j->(b j))))))))))) b))) (k->((l->(((a (a k)) ((a l) (k...

Ekdohibs

Multiple crashes

7

With some random terminating inputs, I get a lot of different errors: - `thread 'main' panicked at 'baam', src/eole/reduce.rs:215:53` with input: ``` (((a->((b->(c->(((d->(e->a)) (c c)) (f->(g->(h->(i->(j->(k->(l->((i c) (m->m)))))))))))) (n->(o->(p->(q->((r->o) (s->(t->(u->((v->(w->(x->(y->(z->y)))))...

Ekdohibs