We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c87be08 commit d762cdbCopy full SHA for d762cdb
website/src/pages/index.tsx
@@ -14,7 +14,7 @@ function HomepageHeader() {
14
<header className={clsx('hero hero--primary', styles.heroBanner)}>
15
<div className="container">
16
<Heading as="h1" className="hero__title">
17
- {siteConfig.title} Development Notebook
+ {siteConfig.title}
18
</Heading>
19
<p className="hero__subtitle">An experimental smart contract language with formal verification capabilities</p>
20
website/static/api-docs/sources.tar
3.5 KB
0 commit comments