
   Type Library   Description
   ---------------------------------------------------------------
   library.lot    Library with natural and integer numbers
   libdot.lot     Library with natural and integer numbers.
                  Notation dot(.) 
   time.lot       Library with the time type.

   Specification  Description                     Command line 
   ---------------------------------------------------------------------
   eratos         Prime numbers                   lola eratos -l libdot
   ba             Alternanting bit protocol       lola ba -l library
   alnode         Al's node                       lola alnode
   buffer         Two slot buffer                 lola buffer -l library
   buffer2        Another two slot buffer         lola buffer2
   fib            Fibonacci numbers               lola fib -l library
   life           Human life                      lola life
   loops          Interleaved loops               lola loops
   bank           A client and a bank             lola bank
   best           Connection system service       lola best

