search

VictorTaelin / Caramel

A modern syntax for the λ-calculus.
MIT License
409 stars 13 forks source link

Broken links in README #7

Open seagreen opened 5 years ago

seagreen commented 5 years ago

Eg https://github.com/MaiaVictor/caramel/blob/master/Prelude/example_many_things.mel

alvitawa commented 5 years ago

It seems like the Prelude directory was removed from the repo somewhere in 2015. I retrieved the Prelude directory back with git checkout 3ba9d07e4823748400f8c8a665506573746e8fe4^ -- Prelude. But the examples don't seem to work anymore. I am getting 'undefined variable' errors. I suppose they were deleted because they were outdated? The tool itself does seem to work for some small examples I tried like i a = a.