Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add invite link to Discord #472

Merged
merged 1 commit into from
Nov 29, 2023
Merged

Add invite link to Discord #472

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions CONTRIBUTING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,9 @@

Thank you very much for your interest in this project! We welcome contributions from anyone, given that they follow the few rules below.

A great first step is to join our
[![Discord](https://img.shields.io/badge/Discord-100000?style=flat&logo=Discord&logoColor=C3C3C3&labelColor=4179DA&color=010101)][discord] server

## Pull Request Process

- Feel free to open a draft PR to first discuss the high level changes you intend to make before going deep into the implementation
Expand Down Expand Up @@ -62,3 +65,5 @@ You'll end with a file named `CHANGELOG-gen.md` that will list all the PRs and i
- It is recommended to edit the PR titles in the listing, and add a concise description for the most important ones (or when a single line of text is not enough to describe the changes).
- You might group PRs that are related to the same feature (or when one PR is overridden by a following one)
- In case of doubt, use the changelog for `v0.2.0` as a reference of how to edit the changelog

[discord]: https://discord.com/invite/7yg5GxzvDJ
10 changes: 9 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
# Linear base

[![License MIT](https://img.shields.io/badge/license-MIT-brightgreen.svg)](https://github.com/tweag/linear-base/blob/master/LICENSE)
[![Build status](https://badge.buildkite.com/5b60ab93dadba234a95e04e6568985918552dcc9e7685ede0d.svg?branch=master)](https://buildkite.com/tweag-1/linear-base)
[![Hackage](https://img.shields.io/hackage/v/linear-base.svg?style=flat&color=brightgreen)][hackage-pkg]
[![Stackage](https://stackage.org/package/linear-base/badge/nightly)][stackage-pkg]
[![Discord](https://img.shields.io/badge/Discord-100000?style=flat&logo=Discord&logoColor=C3C3C3&labelColor=4179DA&color=010101)][discord]

Linear base is a standard library for developing applications with linear
types. It is named `linear-base` to be an analog to the original [`base`]
Expand Down Expand Up @@ -39,6 +39,10 @@ the top:
{-# LANGUAGE LinearTypes #-}
```

To get in touch, you can join our
[![Discord](https://img.shields.io/badge/Discord-100000?style=flat&logo=Discord&logoColor=C3C3C3&labelColor=4179DA&color=010101)][discord] server


## User Guide

If you already know what `-XLinearTypes` does and what the linear
Expand Down Expand Up @@ -85,6 +89,9 @@ Linear base is maintained by [Tweag].
To contribute please see the [Design Document] for instructions and advice on
making pull requests.

A great first step is to join our
[![Discord](https://img.shields.io/badge/Discord-100000?style=flat&logo=Discord&logoColor=C3C3C3&labelColor=4179DA&color=010101)][discord] server

## Licence

See the [Licence file](https://github.com/tweag/linear-base/blob/master/LICENSE).
Expand All @@ -97,3 +104,4 @@ Copyright © Tweag Holding and its affiliates.
[Design Document]: https://github.com/tweag/linear-base/blob/master/docs/DESIGN.md
[hackage-pkg]: https://hackage.haskell.org/package/linear-base
[stackage-pkg]: https://www.stackage.org/nightly/package/linear-base
[discord]: https://discord.com/invite/7yg5GxzvDJ
Loading