Search results

Replace Natural/even and Natural/odd by library code

Status: Open.

#1402 In dhall-lang/dhall-lang;

· winitzki opened on Mar 12, 2025

Refinement of <code>Text</code> types and a proposed new built-in function <code>Text/slice</code>

Status: Open.

#1396 In dhall-lang/dhall-lang;

· winitzki opened on Jan 20, 2025

Special Syntax to "Export" All Defined Types, Functions, and/or Values

Status: Open.

#1389 In dhall-lang/dhall-lang;

· BebeSparkelSparkel opened on Oct 7, 2024

Proposals for coping with exploding normal forms

Status: Open.

#1385 In dhall-lang/dhall-lang;

· winitzki opened on Oct 1, 2024

Year, Month, and Date extraction from a Date

Status: Open.

#1383 In dhall-lang/dhall-lang;

· s-zeng opened on Aug 5, 2024

A proposal for a "lightweight Dhall implementations" standard

Status: Open.

#1382 In dhall-lang/dhall-lang;

· winitzki opened on Jun 29, 2024

A minimalistic proposal for adding row and column polymorphism to Dhall

Status: Open.

#1381 In dhall-lang/dhall-lang;

· winitzki opened on Jun 25, 2024

Convert assertions to Leibniz equality types

Status: Open.

#1379 In dhall-lang/dhall-lang;

· winitzki opened on Jun 11, 2024

A type level equivalent of the <code>with</code> keyword

Status: Open.

#1378 In dhall-lang/dhall-lang;

· Tristano8 opened on May 21, 2024

Eta-equivalence in <code>assert</code>?

Status: Open.

#1376 In dhall-lang/dhall-lang;

· winitzki opened on Apr 5, 2024

Is there a security hole: malicious sha256-protected cached content?

Status: Open.

#1375 In dhall-lang/dhall-lang;

· winitzki opened on Mar 4, 2024

Thoughts on introducing a minimum amount of type inference in Dhall

Status: Open.

#1370 In dhall-lang/dhall-lang;

· winitzki opened on Nov 30, 2023