Search results

dk meta -m meta.dk requires meta.dko

Status: Open.

#335 In Deducteam/Dedukti;

· aarneranta opened on Apr 16, 2025

dk dep -s fails

Status: Open.

#321 In Deducteam/Dedukti;

· fblanqui opened on Feb 29, 2024

feature request: option for not printing warnings

enhancement

Status: Open.

#317 In Deducteam/Dedukti;

· fblanqui opened on Dec 5, 2023

Feature request: allowing local theorems

enhancement

Status: Open.

#312 In Deducteam/Dedukti;

· fblanqui opened on Mar 24, 2023

feature request: #REQUIRE module alias

enhancement

Status: Open.

#310 In Deducteam/Dedukti;

· fblanqui opened on Mar 17, 2023

dk dep is too slow

Status: Open.

#301 In Deducteam/Dedukti;

· fblanqui opened on Nov 25, 2022

Rule typing failure

Status: Open.

#293 In Deducteam/Dedukti;

· gabrielhdt opened on Sep 10, 2022

Why Reduction.are_convertible_lst calls term_eq ?

Status: Open.

#279 In Deducteam/Dedukti;

· fblanqui opened on Jun 15, 2022

Hints in error messages

error message

UX

Status: Open.

#269 In Deducteam/Dedukti;

· gabrielhdt opened on May 2, 2022

Wrong line for adding syntax hightlighting in the emacs init file

Status: Open.

#266 In Deducteam/Dedukti;

· pierrevial opened on Feb 23, 2022

Question about #REQUIRE

Status: Open.

#261 In Deducteam/Dedukti;

· fblanqui opened on Jan 5, 2022

Wrong error locations when using unicode characters

Status: Open.

#258 In Deducteam/Dedukti;

· fblanqui opened on Jan 4, 2022