News - 2022/05/16 - FLL Specifications Added
Author: Kevin Day
Description: News post on 2022/05/16.
Keywords: Kevin Day, Kevux, FLL, Featureless, Linux, Library, Distribution, Open-Source, News, 2022

# 2022 / 05 / 16 - FLL Specifications Added

Updated the FLL specifications and made them available on the website.

Basic styling is applied to make the specifications reasonably readable on a website. I avoided doing any complicated designs so that I can focus on other tasks (such as making a stable release). I took a shortcut on the example results by using the `<pre>` tag.

Only the main FLL specification pages are updated. The specifications (or links to specifications) on the programs pages have not been updated. There is still quite a lot to do in regards to documenting the programs.

Several mistakes on the website, such as incorrect canonical addresses, are now fixed.

I have also added an informal definition of my Completeness Theorem that I always used for just about all of my personal work. This has been in use by the FLL since I first started working on it. I believe that I just never formally (or informally) wrote down my theory (I believe that the concepts for this were touched on in my thesis).

Kevin Day