$# This file is part of Vervis.
$#
$# Written in 2016 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/>.

<h1>Vervis

<p>
  Vervis is hopefully going to be, eventually, a decentralized project hosting
  platform. It's still in early development, but hopefully making progress
  fast.

<h2>Intended Content

<p>
  This page, the homepage, is currently planned to be an intro or global
  overview page when not logged in, and be a user-specific overview page when
  browsing to it while logged in.

$maybe _ <- mp
  <p>You're logged in, i.e. you should see a personal overview.
$nothing
  <p>
    You aren't logged in, i.e. you should see a global overview/intro. Also,
    perhaps you are interested in <a href=@{PersonNewR}>signing up</a>.

<h2>Repos

<table>
  $forall (sharer, proj, repo, ago) <- rows
    <tr>
      <td>#{sharer}
      <td>#{proj}
      <td>#{repo}
      <td>#{ago}

<h2>People

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