From aa74d94f4eefc5bfc0f51d27c89e07a31092cf20 Mon Sep 17 00:00:00 2001 From: Zack Grannan Date: Tue, 31 May 2022 22:28:43 -0700 Subject: [PATCH] Update description --- rest-rewrite.cabal | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rest-rewrite.cabal b/rest-rewrite.cabal index 28c2144..99d5eb6 100644 --- a/rest-rewrite.cabal +++ b/rest-rewrite.cabal @@ -6,8 +6,8 @@ category: Rewriting maintainer: Zack Grannan author: Zack Grannan license: BSD3 -description: Rewriting library with online termination checking -synopsis: https://s3.us-west-1.wasabisys.com/zg-public/paper.pdf +description: REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872. +synopsis: Rewriting library with online termination checking license-file: LICENSE source-repository head