$# This file is part of Vervis.
$#
$# Written in 2016, 2018 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 hopefully going to be, eventually, a decentralized project hosting
  platform. It's still in early development, but hopefully making progress
  fast.

<p>
  <a href=@{AuthR newAccountR}>Sign up

<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=@{PersonR 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>.