List view

Make ThunkLang definition / lemma files follow envLang's organisation

Status: Open.

#33 In CakeML/pure;

· myreen opened on Jun 21, 2023

Consistently follow pureLang's example of pure_exp_lemmas, pure_eval_lemmas

Status: Open.

#34 In CakeML/pure;

· myreen opened on Jun 21, 2023

Move backend relations to compiler/backend/languages/relations

Status: Open.

#35 In CakeML/pure;

· myreen opened on Jun 21, 2023

Hoist simple lemmas and theorems

Status: Open.

#36 In CakeML/pure;

· hrutvik opened on Jun 21, 2023

Remove "old" values

Status: Open.

#41 In CakeML/pure;

· hrutvik opened on Jun 23, 2023

Remove unused theories

Status: Open.

#42 In CakeML/pure;

· hrutvik opened on Jun 23, 2023

Tidy PureLang's equational theory

Status: Open.

#45 In CakeML/pure;

· hrutvik opened on Jun 23, 2023

Remove <code>apply_closure</code> from semantics

enhancementNew feature or requestNew feature or request

Status: Open.

#56 In CakeML/pure;

· hrutvik opened on Jul 6, 2023

Strategy for inventing fresh names

back end

enhancementNew feature or requestNew feature or request

Status: Open.

#55 In CakeML/pure;

· hrutvik opened on Jul 4, 2023