$# This file is part of Vervis.
$#
$# Written in 2016, 2018, 2019 by fr33domlover <fr33domlover@riseup.net>.
$#
$# ♡ Copying is an act of love. Please copy, reuse and share.
$#
$# The author(s) have dedicated all copyright and related and neighboring
$# rights to this software to the public domain worldwide. This software is
$# distributed without any warranty.
$#
$# You should have received a copy of the CC0 Public Domain Dedication along
$# with this software. If not, see
$# <http://creativecommons.org/publicdomain/zero/1.0/>.

<p>
  Vervis is project hosting platform which is going to be decentralized.
  ActivityPub federation is being developed. There's still lots of work to do,
  on all features of the platform.

<p>
  Vervis is being used for its own development:
  <a href="https://dev.angeley.es/s/fr33domlover/p/vervis">
    Vervis project page

<p>
  Vervis is a <a href="https://peers.community">Peers community</a> project,
  and discussion is active in the
  <a href="https://kiwiirc.com/client/irc.freenode.net/#peers">#peers</a> IRC
  channel. You're very welcome to join! There's also a project named ForgeFed
  that aims to federate repo hosting websites, and it has a
  <a href="https://framalistes.org/sympa/info/git-federation">mailing list</a>
  you're very welcome to join! I'm there too.

<p>
  Vervis is a web application written in the Haskell programming language and
  the Yesod web framework. It's free as in freedom, under AGPLv3.

<p>
  Vervis currently supports Git and Darcs repositories.

<h2>Repos

<table>
  <tr>
    <th>Sharer
    <th>Project
    <th>Repo
    <th>VCS
    <th>Last change
  $forall (sharer, mproj, repo, vcs, ago) <- rows
    <tr>
      <td>
        <a href=@{SharerR sharer}>#{shr2text sharer}
      <td>
        $maybe proj <- mproj
          <a href=@{ProjectR sharer proj}>#{prj2text proj}
        $nothing
          (none)
      <td>
        <a href=@{RepoR sharer repo}>#{rp2text repo}
      <td>
        $case vcs
          $of VCSDarcs
            Darcs
          $of VCSGit
            Git
      <td>
        $maybe t <- ago
          #{t}
        $nothing
          Error

<h2>People

<p>
  See
  <a href=@{PeopleR}>people</a>.