general URA (any answer, not only atoms) - Githubissues

ilya-klyuchnikov / sll-meta-haskell

"Metacomputation and its Applications" implemented for SLL

6 stars 3 forks source link

general URA (any answer, not only atoms) #2

Closed ilya-klyuchnikov closed 10 years ago

ilya-klyuchnikov commented 10 years ago

Big complication, it doesn't make any sense for this simple project.