arend-lang.github.io/2019/07/17/Arend-1.0.0-released.html
Preview meta tags from the arend-lang.github.io website.
Linked Hostnames
6- 34 links toarend-lang.github.io
- 1 link togithub.com
- 1 link tojekyllrb.com
- 1 link tolocalhost
- 1 link tomademistakes.com
- 1 link totwitter.com
Search Engine Appearance
Arend 1.0.0 released
The first version of Arend is released! It implements the following features: Path types based on the interval type. Higher inductive types, including higher inductive-inductive types. Class system. Universe polymorphism. The IntelliJ Arend plugin implements the following features: Syntax highlighting Code completion Find usages Quick documentation Parameter hints Class hierarchy Code formatter Auto import “Implement missing fields” quick fix Move Refactoring Incremental typechecking
Bing
Arend 1.0.0 released
The first version of Arend is released! It implements the following features: Path types based on the interval type. Higher inductive types, including higher inductive-inductive types. Class system. Universe polymorphism. The IntelliJ Arend plugin implements the following features: Syntax highlighting Code completion Find usages Quick documentation Parameter hints Class hierarchy Code formatter Auto import “Implement missing fields” quick fix Move Refactoring Incremental typechecking
DuckDuckGo
Arend 1.0.0 released
The first version of Arend is released! It implements the following features: Path types based on the interval type. Higher inductive types, including higher inductive-inductive types. Class system. Universe polymorphism. The IntelliJ Arend plugin implements the following features: Syntax highlighting Code completion Find usages Quick documentation Parameter hints Class hierarchy Code formatter Auto import “Implement missing fields” quick fix Move Refactoring Incremental typechecking
General Meta Tags
5- titleArend 1.0.0 released - Arend Theorem Prover
- charsetutf-8
- descriptionThe first version of Arend is released! It implements the following features: Path types based on the interval type. Higher inductive types, including higher inductive-inductive types. Class system. Universe polymorphism. The IntelliJ Arend plugin implements the following features: Syntax highlighting Code completion Find usages Quick documentation Parameter hints Class hierarchy Code formatter Auto import “Implement missing fields” quick fix Move Refactoring Incremental typechecking
- article:published_time2019-07-17T00:00:00+02:00
- viewportwidth=device-width, initial-scale=1.0
Open Graph Meta Tags
6- og:typearticle
og:localeen_US- og:site_nameArend Theorem Prover
- og:titleArend 1.0.0 released
- og:urlhttp://localhost:4000/2019/07/17/Arend-1.0.0-released.html
Link Tags
4- alternate/feed.xml
- canonicalhttp://localhost:4000/2019/07/17/Arend-1.0.0-released.html
- preloadhttps://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css
- stylesheet/assets/css/main.css
Links
39- http://localhost:4000
- https://arend-lang.github.io
- https://arend-lang.github.io/2019/07/17/Arend-1.0.0-released.html
- https://arend-lang.github.io/2019/10/01/Arend-1.1.0-released.html
- https://arend-lang.github.io/2019/12/16/Arend-1.2.0-released.html