Search results

Add a syntaxtic sugar to extend record.

Status: Open.

#40 In rlepigre/pml;

· craff opened on Jul 27, 2022

We should be able to use constraint ordering on ordinals.

Wait use case

Status: Open.

#39 In rlepigre/pml;

· craff opened on Jul 27, 2022

Finish printing

Status: Open.

#38 In rlepigre/pml;

· craff opened on Jan 25, 2018

A minimal user documentation is needed

Status: Open.

#35 In rlepigre/pml;

· craff opened on Dec 18, 2017

Incompleteness of the termination checker that seems solvable

Status: Open.

#31 In rlepigre/pml;

· craff opened on Dec 1, 2017

auto cases! use information from typing

Status: Open.

#30 In rlepigre/pml;

· craff opened on Dec 1, 2017

Subtyping heuristic and auto case

Status: Open.

#29 In rlepigre/pml;

· craff opened on Dec 1, 2017

Cost of logging and Chrono

Status: Open.

#27 In rlepigre/pml;

· craff opened on Nov 21, 2017

pool optim, toward only head normal term added to the pool

Status: Open.

#26 In rlepigre/pml;

· craff opened on Nov 21, 2017

Theory

enhancement

Status: Open.

#25 In rlepigre/pml;

· craff opened on Nov 21, 2017

PML can not always use function equalities that it learned

Incompleteness

Wait use case

Status: Open.

#22 In rlepigre/pml;

· craff opened on Nov 10, 2017

Better control of current totality status

Status: Open.

#21 In rlepigre/pml;

· craff opened on Nov 3, 2017