Search results

Remove persistence axioms in path equivalences

minor

Status: Open.

#431 In Blaisorblade/dot-iris;

· Blaisorblade opened on Sep 4, 2022

Go back to explicit persistence

major

Status: Open.

#428 In Blaisorblade/dot-iris;

· Blaisorblade opened on Sep 4, 2022

Define path equality and prove functionality of type constructors

Status: Open.

#396 In Blaisorblade/dot-iris;

· Blaisorblade opened on Dec 29, 2021

Replace kTSel back by TSel

minor

Status: Open.

#394 In Blaisorblade/dot-iris;

· Blaisorblade opened on Dec 24, 2021

Dot: Enable syntactic values in types

Status: Open.

#365 In Blaisorblade/dot-iris;

· Blaisorblade opened on May 25, 2021

·  

Higher kinds

Implementation plan for HK-DOT

Status: Open.

#360 In Blaisorblade/dot-iris;

· Blaisorblade opened on May 16, 2021

Simplify definition of is_unstamped_ty further.

Status: Open.

#291 In Blaisorblade/dot-iris;

· Blaisorblade opened on Jun 5, 2020