|
|
|
|
|
|
by naasking
798 days ago
|
|
|
Aren't you basically talking about lisp? You're suggesting two core primitives, an atom and a pair constructor, and you're defining an equivalence across pairs, eg. WWWB modelled as (cons W (cons W (cons W B))) = (cons (cons W W) (cons WB)) = (cons (cons (cons W W) W) B). I assume you can do this with set theory and a suitable definition of equality. |
|
|