2016-02-16 20:41:13 +09:00
|
|
|
<h1>Vervis
|
|
|
|
|
|
|
|
|
|
<p>
|
|
|
|
|
Vervis is hopefully going to be, eventually, a decentralized project hosting
|
|
|
|
|
platform. At the time of writing (2016-02-14), it is a simple scaffolded
|
|
|
|
|
Yesod web application which displays a table of Git repositories.
|
|
|
|
|
|
|
|
|
|
$maybe Entity _pid person <- mp
|
|
|
|
|
<p>
|
|
|
|
|
You are logged in as #{personLogin person}.
|
|
|
|
|
<a href=@{AuthR LogoutR}>Log out.
|
|
|
|
|
$nothing
|
|
|
|
|
<p>
|
|
|
|
|
You are not logged in.
|
|
|
|
|
<a href=@{AuthR LoginR}>Log in.
|
|
|
|
|
|
|
|
|
|
<table>
|
|
|
|
|
$forall (sharer, proj, repo, ago) <- rows
|
|
|
|
|
<tr>
|
|
|
|
|
<td>#{sharer}
|
|
|
|
|
<td>#{proj}
|
|
|
|
|
<td>#{repo}
|
|
|
|
|
<td>#{ago}
|
