I have upgraded the webserver to show a left margin menu
for *.flx files now.
Tell me this isn't nice:
http://felix-lang.org/share/lib/std/algebraic.flx
[Remember to reload if you looked at the page recently]
--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org
--
Following the introduction of left margin menu for fdocs. I'm moving
to add left margins to plain flx files too.
What will happen is the menu will contain a list of things
defined in the file so you can jump to them easily.
Not all definitions will be listed, and not all layouts of
a definition w
After having played with rST, Sphinx, and ReadTheDocs ...
I have a HTML test page which provides a left menu similar to the
one in RTD, only mine works properly (the RTD one has a number
of bugs).
I'm not a graphic designer or web programmer .. so it would be good
to get someone who is working on
Felix has a glossary on the website, but I can't hyperlink to it.
That would be useful.
More, a "wiki" thing would be useful, where some "term" would
get a fuller description than the glossary.
We can use flx_iscr to extract articles, and we can write
some Felix script to generate the glossary (s
Note to self:
A class can acquire functionality by the following trick:
class List {
...
//$ Construe a list as a set, imbuing it with a membership
//$ test, provided the element type has an equality operator.
instance[T with Eq[T]] Set[list[T],T] {
fun \in (x:T, a:list[T]) => mem[T,T
Amusingly, I have made the home page on my PHONE the Felix
web site. Actually, the tutorial comes out quite nicely!
One advantage of a really brain dead XHML layout .. it does
what HTML was always meant to do: adapt to the browser page
size nicely.
I will do some editing to get the pages shorter a
I am now inclined to handle docs using the webserver. This means inventing
another
document language the webserver can translate, but it can be tailored to our
needs.
The output can also be saved to make static pages, provided the issues with
links
are sorted out.
Now this leads to a nice idea.
For Unix users, you can now run:
bin/flxd -Ilib --document-typeclass lib/std
to generate documentation for all typeclasses. The generator
is still work-in-progress, but the inherit clauses are now
hyperlinked. Run ./umk doc first, so that the documentation
master page includes the link:
