danabra.mov
An experimental TypeSpec syntax for Lexicon
maybe
+16
-1
+1
-1
DOCS.md
+1
-1
DOCS.md
···
1
-
# Typelex Docs
1
+
# typelex docs
2
2
3
3
This maps [atproto Lexicon](https://atproto.com/specs/lexicon) JSON syntax to typelex (which is a [TypeSpec](https://typespec.io/) emitter). It assumes you're familiar with Lexicon and want to understand how to express it in TypeSpec. Consult [TypeSpec docs](https://typespec.io/) on details of TypeSpec syntax.
4
4
packages/website/public/og.png
packages/website/public/og.png
This is a binary file and will not be displayed.
+15
packages/website/src/pages/index.astro
+15
packages/website/src/pages/index.astro
···
133
133
<meta name="viewport" content="width=device-width" />
134
134
<meta name="generator" content={Astro.generator} />
135
135
<title>typelex – An experimental TypeSpec syntax for Lexicon</title>
136
+
<meta name="description" content="An experimental TypeSpec syntax for AT Protocol Lexicons. Write Lexicons in a more readable syntax using TypeSpec." />
137
+
138
+
<!-- Open Graph / Facebook -->
139
+
<meta property="og:type" content="website" />
140
+
<meta property="og:url" content="https://typelex.org/" />
141
+
<meta property="og:title" content="typelex – An experimental TypeSpec syntax for Lexicon" />
142
+
<meta property="og:description" content="An experimental TypeSpec syntax for AT Protocol Lexicons. Write Lexicons in a more readable syntax using TypeSpec." />
143
+
<meta property="og:image" content="https://typelex.org/og.png" />
144
+
145
+
<!-- Twitter -->
146
+
<meta property="twitter:card" content="summary_large_image" />
147
+
<meta property="twitter:url" content="https://typelex.org/" />
148
+
<meta property="twitter:title" content="typelex – An experimental TypeSpec syntax for Lexicon" />
149
+
<meta property="twitter:description" content="An experimental TypeSpec syntax for AT Protocol Lexicons. Write Lexicons in a more readable syntax using TypeSpec." />
150
+
<meta property="twitter:image" content="https://typelex.org/og.png" />
136
151
</head>
137
152
<body>
138
153
<div class="container">