+ You are logged in as #{personLogin person}.
+ Log out.
+$nothing
+
+ You are not logged in.
+ Log in.
+
$maybe msg <- mmsg
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.
+ platform. It's still in early development, but hopefully making progress
+ fast.
-$maybe Entity _pid person <- mp
-
- You are logged in as #{personLogin person}.
- Log out.
-$nothing
-
- You are not logged in.
- Log in.
+
+ See
+ people.
diff --git a/templates/people.hamlet b/templates/people.hamlet
new file mode 100644
index 0000000..571e3bf
--- /dev/null
+++ b/templates/people.hamlet
@@ -0,0 +1,23 @@
+$# This file is part of Vervis.
+$#
+$# Written in 2016 by fr33domlover
+ These are the people registered in this Vervis instance.
+
+Vervis
Repos
$forall (sharer, proj, repo, ago) <- rows
@@ -21,3 +28,9 @@ $nothing
#{proj}
#{repo}
#{ago}
+
+ People
+
+
Vervis > People
+
+