Hello

World!

Well, I am trying to create as many kinds of simple (though static at first) webpages as possible.

1. This is a sample of my proposed work (MS word article to HTML5) on "freelancer.com" .
2. Proposed supermarket e-shopping page.
3. Try partex online.
4. Bezoult's lemma according to Homotopy Type Theory.
5. Modulus function according to Homotopy Type Theory.