~toastal/purescript-web-page-visibility

purescript-web-page-visibility/CONTRIBUTORS.dhall -rw-r--r-- 1.2 KiB
b452f733toastal BSD-3-Clause makes more sense in this context 21 days ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
{-
Contributors: a place for contributors to get credit
====================================================

Sorted by date of contribution, this file defines contributors in Dhall format
for easy manipulation and consumption.

`name` is prefered name—no need to give away your identity. `::` lets us extend
the defaults (so `Optional` values can be omitted).
-}
let Key = { Type = { long-key-id : Text, fingerprint : Text } }

let Contributor =
      { Type =
          { name : Text
          , email : Text
          , website : Optional Text
          , pronouns : List Text
          , keys : List Key.Type
          }
      , default =
        { website = None Text
        , pronouns = [] : List Text
        , keys = [] : List Key.Type
        }
      }

in    [ Contributor::{
        , name = "toastal"
        , email = "toastal@posteo.net"
        , website = Some "https://toast.al"
        , pronouns = [ "he/him", "เขา", "ລາວ" ]
        , keys =
          [ { long-key-id = "ed25519/5CCE6F1466D47C9E"
            , fingerprint = "7944 74B7 D236 DAB9 C9EF  E7F9 5CCE 6F14 66D4 7C9E"
            }
          ]
        }
      ]
    : List Contributor.Type