From b8c2b786facddafb499178618f2e1ede1a589c3f Mon Sep 17 00:00:00 2001
From: favonia <favonia@gmail.com>
Date: Mon, 2 Oct 2023 20:13:03 -0500
Subject: [PATCH] docs(CONTRIBUTORS): really use Markdown

---
 CONTRIBUTORS.markdown | 2 +-
 algaett.opam          | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/CONTRIBUTORS.markdown b/CONTRIBUTORS.markdown
index 99d717d..87bc193 100644
--- a/CONTRIBUTORS.markdown
+++ b/CONTRIBUTORS.markdown
@@ -1,3 +1,3 @@
 # CONTRIBUTORS
 
-Favonia
+- Favonia
diff --git a/algaett.opam b/algaett.opam
index 1255ce3..46a219a 100644
--- a/algaett.opam
+++ b/algaett.opam
@@ -12,6 +12,7 @@ depends: [
   "dune" {>= "2.0"}
   "ocaml" {>= "5.0"}
   "algaeff" {>= "0.2"}
+  "asai" {>= "0.1"}
   "bwd" {>= "2.2"}
   "cmdliner" {>= "1.1"}
   "earley" {>= "3.0"}
@@ -20,12 +21,10 @@ depends: [
   "yuujinchou" {>= "5.0"}
   "odoc" {with-doc}
   "bantorra"
-  "asai"
 ]
 pin-depends: [
   [ "bantorra.0.2.0~dev" "git+https://github.com/RedPRL/bantorra" ]
   [ "emoji.1.2.0~pre" "git+https://github.com/fxfactorial/ocaml-emoji" ]
-  [ "asai.~dev" "git+https://github.com/RedPRL/asai"]
 ]
 build: [
   ["dune" "build" "-p" name "-j" jobs]