Skip to content

Commit a4a7618

Browse files
Update README.adoc
1 parent 140c692 commit a4a7618

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

README.adoc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -123,7 +123,7 @@ This repo includes a `clade-hygiene.a2ml` contractile:
123123
| 1 | Deploy CLADE.a2ml to all 200 repos | Pending
124124
| 2 | VeriSimDB instance on VPS | Pending
125125
| 3 | Cloudflare Worker API | Pending
126-
| 4 | ReScript/WASM portal | Pending
126+
| 4 | AffineScript/typed-WASM portal | Pending
127127
| 5 | LLM query endpoint | Pending
128128
| 6 | Bot write endpoints | Pending
129129
| 7 | Contributor OAuth | Pending
@@ -132,4 +132,4 @@ This repo includes a `clade-hygiene.a2ml` contractile:
132132

133133
== License
134134

135-
link:LICENSE[MPL-2.0] (Palimpsest License)
135+
link:LICENSE[MPL-2.0]

0 commit comments

Comments
 (0)