arend-lang.github.io/2019/10/01/Arend-1.1.0-released.html

Preview meta tags from the arend-lang.github.io website.

Linked Hostnames

6

Search Engine Appearance

Google

https://arend-lang.github.io/2019/10/01/Arend-1.1.0-released.html

Arend 1.1.0 released

Arend now has proof irrelevant universe of proposition and the plugin can run the typechecker automatically in background. Language updates: \Prop is now proof irrelevant. In particular, this means that we do not need Path.inProp anymore. Right operator sections. New function and \case forms: \sfunc and \scase. It is necessary to use these forms for squashed data types Improved error messages. Plugin updates: Implemented background typechecking. Implemented pattern generator for missing clauses and case analysis. Note that case analysis currently does not work for \case expressions. Improved class hierarchy. Added gutter icons for subclasses. Improved module configuration dialog. Fixed completion and inline renaming for infix and postfix notation.



Bing

Arend 1.1.0 released

https://arend-lang.github.io/2019/10/01/Arend-1.1.0-released.html

Arend now has proof irrelevant universe of proposition and the plugin can run the typechecker automatically in background. Language updates: \Prop is now proof irrelevant. In particular, this means that we do not need Path.inProp anymore. Right operator sections. New function and \case forms: \sfunc and \scase. It is necessary to use these forms for squashed data types Improved error messages. Plugin updates: Implemented background typechecking. Implemented pattern generator for missing clauses and case analysis. Note that case analysis currently does not work for \case expressions. Improved class hierarchy. Added gutter icons for subclasses. Improved module configuration dialog. Fixed completion and inline renaming for infix and postfix notation.



DuckDuckGo

https://arend-lang.github.io/2019/10/01/Arend-1.1.0-released.html

Arend 1.1.0 released

Arend now has proof irrelevant universe of proposition and the plugin can run the typechecker automatically in background. Language updates: \Prop is now proof irrelevant. In particular, this means that we do not need Path.inProp anymore. Right operator sections. New function and \case forms: \sfunc and \scase. It is necessary to use these forms for squashed data types Improved error messages. Plugin updates: Implemented background typechecking. Implemented pattern generator for missing clauses and case analysis. Note that case analysis currently does not work for \case expressions. Improved class hierarchy. Added gutter icons for subclasses. Improved module configuration dialog. Fixed completion and inline renaming for infix and postfix notation.

  • General Meta Tags

    5
    • title
      Arend 1.1.0 released - Arend Theorem Prover
    • charset
      utf-8
    • description
      Arend now has proof irrelevant universe of proposition and the plugin can run the typechecker automatically in background. Language updates: \Prop is now proof irrelevant. In particular, this means that we do not need Path.inProp anymore. Right operator sections. New function and \case forms: \sfunc and \scase. It is necessary to use these forms for squashed data types Improved error messages. Plugin updates: Implemented background typechecking. Implemented pattern generator for missing clauses and case analysis. Note that case analysis currently does not work for \case expressions. Improved class hierarchy. Added gutter icons for subclasses. Improved module configuration dialog. Fixed completion and inline renaming for infix and postfix notation.
    • article:published_time
      2019-10-01T00:00:00+02:00
    • viewport
      width=device-width, initial-scale=1.0

  • Open Graph Meta Tags

    6
    • og:type
      article
    • US country flagog:locale
      en_US
    • og:site_name
      Arend Theorem Prover
    • og:title
      Arend 1.1.0 released
    • og:url
      http://localhost:4000/2019/10/01/Arend-1.1.0-released.html

  • Link Tags

    4
    • alternate
      /feed.xml
    • canonical
      http://localhost:4000/2019/10/01/Arend-1.1.0-released.html
    • preload
      https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css
    • stylesheet
      /assets/css/main.css

Links

33