update homepage

Author: functora

docs/cv.pdf

@@ -53,12 +53,11 @@ <h2>Skills</h2>
 Haskell is my primary and the most favorte tool. I do have advanced level of Haskell including:
 </p>
 <ul>
-<li><a href="https://hackage.haskell.org/package/microlens">Lens</a> for efficient data manipulation and parsing.</li>
-<li><a href="https://hackage.haskell.org/package/singletons">Singletons</a> for pseudo-dependent type programming.</li>
+<li><a href="https://wiki.haskell.org/GHC.Generics">GHC.Generics</a>, <a href="https://hackage.haskell.org/package/generic-lens">generic-lens</a> and <a href="https://hackage.haskell.org/package/syb">SYB</a> for efficient data manipulation.</li>
+<li><a href="https://github.com/ghcjs/ghcjs">GHCJS</a> compiler, GHC <a href="https://ghc.gitlab.haskell.org/ghc/doc/users_guide/wasm.html">WASM</a> backend and <a href="https://hackage.haskell.org/package/jsaddle">JSaddle</a> EDSL.</li>
 <li><a href="https://hackage.haskell.org/package/persistent">Presistent</a> and <a href="https://hackage.haskell.org/package/esqueleto">Esqueleto</a> typed SQL drivers.</li>
 <li><a href="https://www.yesodweb.com/">Yesod</a> enterprise web framework.</li>
 <li><a href="https://haskell-miso.org/">Miso</a> frontend web framework.</li>
-<li><a href="https://github.com/ghcjs/ghcjs">GHCJS</a> compiler and <a href="https://hackage.haskell.org/package/jsaddle">JSaddle</a> EDSL.</li>
 </ul>
 <p class="padding-left">
 I am also qualified in other useful areas:

docs/formal.html

@@ -80,12 +80,11 @@ <h2 class="text-center">Skills</h2>
 Haskell is my primary and the most favorte tool. I do have advanced level of Haskell including:
 </p>
 <ul>
-<li><a href="https://hackage.haskell.org/package/microlens">Lens</a> for efficient data manipulation and parsing.</li>
-<li><a href="https://hackage.haskell.org/package/singletons">Singletons</a> for pseudo-dependent type programming.</li>
+<li><a href="https://wiki.haskell.org/GHC.Generics">GHC.Generics</a>, <a href="https://hackage.haskell.org/package/generic-lens">generic-lens</a> and <a href="https://hackage.haskell.org/package/syb">SYB</a> for efficient data manipulation.</li>
+<li><a href="https://github.com/ghcjs/ghcjs">GHCJS</a> compiler, GHC <a href="https://ghc.gitlab.haskell.org/ghc/doc/users_guide/wasm.html">WASM</a> backend and <a href="https://hackage.haskell.org/package/jsaddle">JSaddle</a> EDSL.</li>
 <li><a href="https://hackage.haskell.org/package/persistent">Presistent</a> and <a href="https://hackage.haskell.org/package/esqueleto">Esqueleto</a> typed SQL drivers.</li>
 <li><a href="https://www.yesodweb.com/">Yesod</a> enterprise web framework.</li>
 <li><a href="https://haskell-miso.org/">Miso</a> frontend web framework.</li>
-<li><a href="https://github.com/ghcjs/ghcjs">GHCJS</a> compiler and <a href="https://hackage.haskell.org/package/jsaddle">JSaddle</a> EDSL.</li>
 </ul>
 <p class="padding-left">
 I am also qualified in other useful areas:

docs/index.html

@@ -7,12 +7,11 @@ fontawesome: "fab fa-bitcoin"
 
 <p class="padding-left">Haskell is my primary and the most favorte tool. I do have advanced level of Haskell including:</p>
 
-- [Lens](https://hackage.haskell.org/package/microlens) for efficient data manipulation and parsing.
-- [Singletons](https://hackage.haskell.org/package/singletons) for pseudo-dependent type programming.
+- [GHC.Generics](https://wiki.haskell.org/GHC.Generics), [generic-lens](https://hackage.haskell.org/package/generic-lens) and [SYB](https://hackage.haskell.org/package/syb) for efficient data manipulation.
+- [GHCJS](https://github.com/ghcjs/ghcjs) compiler, GHC [WASM](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/wasm.html) backend and [JSaddle](https://hackage.haskell.org/package/jsaddle) EDSL.
 - [Presistent](https://hackage.haskell.org/package/persistent) and [Esqueleto](https://hackage.haskell.org/package/esqueleto) typed SQL drivers.
 - [Yesod](https://www.yesodweb.com/) enterprise web framework.
 - [Miso](https://haskell-miso.org/) frontend web framework.
-- [GHCJS](https://github.com/ghcjs/ghcjs) compiler and [JSaddle](https://hackage.haskell.org/package/jsaddle) EDSL.
 
 <p class="padding-left">I am also qualified in other useful areas:</p>