Search results

set up larger build infra for CI

Status: Open.

#26 In mschwaig/laut;

· mschwaig opened on Apr 23, 2025

Store "alpha-equivalence"

Status: Open.

#24 In mschwaig/laut;

· Ericson2314 opened on Apr 16, 2025

add flag about self-references to output section of signatures

good first issueGood for newcomersGood for newcomers

Status: Open.

#19 In mschwaig/laut;

· mschwaig opened on Apr 11, 2025

integration with the <code>snix</code> project

long-termWhere we want to go (in smaller TBD steps)Where we want to go (in smaller TBD steps)

Status: Open.

#15 In mschwaig/laut;

· mschwaig opened on Mar 24, 2025

Tracking Issue with problems / open questions in nix

Status: Open.

#12 In mschwaig/laut;

· mschwaig opened on Mar 21, 2025

polish <code>sign</code> subcommand for lila integration

help wantedExtra attention is neededExtra attention is needed

python

Status: Open.

#11 In mschwaig/laut;

· mschwaig opened on Mar 21, 2025

add source references to <code>bombon</code>

Status: Open.

#9 In mschwaig/laut;

· mschwaig opened on Mar 19, 2025

Port this to other Nix implementations and output URL/pinning mechanisms other than Flakes

long-termWhere we want to go (in smaller TBD steps)Where we want to go (in smaller TBD steps)

Status: Open.

#6 In mschwaig/laut;

· mschwaig opened on Mar 17, 2025

make traces support IA derivations

Status: Open.

#5 In mschwaig/laut;

· mschwaig opened on Mar 16, 2025