search

lucaswerkmeister / ceylon-typesystem-turing-complete

Demonstration that the Ceylon type system is Turing complete
6 stars 0 forks source link

Write a Turing machine → Ceylon program converter using ceylon.ast + ceylon.formatter #3

Open lucaswerkmeister opened 10 years ago

lucaswerkmeister commented 10 years ago

As soon as the ceylon.ast module (my GSoC 2014 project, ceylon/ceylon.ast) is done, I want to write a Ceylon program that uses it to convert an arbitrary Turing machine into a Ceylon program.

lucaswerkmeister commented 6 years ago

This exists in the ceylon.ast samples. I should probably link it here, though.