STELF Site

Editing the Website

Edits welcome! Seriously, Twelf was porting from MediaWiki to Astro, so adding the syntax changes onto that is diffucult. Also, anyone who can figure out how to get syntax highlighting working in Astro would be a massive help.

Making the Website

The website is built using the Starlight framework, which is implmeneted in the Static Site Generator (SSG) Astro.

Status of the Website

The STELF site is a work in progress. As such, everything on it is liable to being out of date. This means that certain parts of the website:

1. Might refer to the Twelf syntax
2. Might refer to syntax that is no longer used
3. Might refer to syntax that is out of date

In addition, there is currently no verification of the code examples happening automatically. Anything marked with the badge Up to date has been explicitly checked (as much as one person can) for being up to date. Anything marked with the badge Out-of-date has not been updated. That said, just because something dosen’t have Out-of-date dosen’t mean its correct. Also, things marked New are new