Search results

Clean up implementation such that unused proofs terms are not carried around

Status: Open.

#45 In Plutonomicon/plutarch-core;

· L-as opened on Nov 27, 2023

How does interpreting and linearity of languages interact?

Status: Open.

#44 In Plutonomicon/plutarch-core;

· L-as opened on May 28, 2023

Clean up implementation of Plutarch.Internal.Utilities

Status: Open.

#43 In Plutonomicon/plutarch-core;

· L-as opened on May 28, 2023

Allow splitting languages

Status: Open.

#42 In Plutonomicon/plutarch-core;

· L-as opened on Apr 18, 2023

Encode co{,ntra}variance and su{b,per}typing

Status: Open.

#38 In Plutonomicon/plutarch-core;

· L-as opened on Jan 20, 2023

Implement effects in Nix backend

Status: Open.

#37 In Plutonomicon/plutarch-core;

· L-as opened on Dec 27, 2022

Allow attaching metadata to datatype definitions

Status: Open.

#36 In Plutonomicon/plutarch-core;

· L-as opened on Nov 17, 2022

Support _generating_ type class instances

Status: Open.

#35 In Plutonomicon/plutarch-core;

· L-as opened on Nov 16, 2022

Embedded classes/constraints

Status: Open.

#32 In Plutonomicon/plutarch-core;

· L-as opened on Oct 14, 2022

Singletons / Dependent types

Status: Open.

#31 In Plutonomicon/plutarch-core;

· L-as opened on Oct 14, 2022

Syntactical plugin to improve ergonomics

Status: Open.

#30 In Plutonomicon/plutarch-core;

· L-as opened on Oct 14, 2022

GHC Core backend

Status: Open.

#25 In Plutonomicon/plutarch-core;

· L-as opened on Sep 24, 2022