On: Avail Programming Language

[yawaramin]

Here is an infinite lattice (roughly speaking):

            o
            /\
           o  o
          /\  /\
         o  o  o
        /\ /\  /\
       o  o   o  o
      /\ /\  /\  /\
     o  o  o   o   o
    ...   ...   ...