Search results

Compile polymorphic functions

Status: Open.

#23 In lemastero/agda2rust;

· lemastero opened on Dec 20, 2023

Golden tests

Status: Open.

#15 In lemastero/agda2rust;

· lemastero opened on Dec 16, 2023

Architecture diagram

documentationImprovements or additions to documentationImprovements or additions to documentation

refactor

Status: Open.

#14 In lemastero/agda2rust;

· lemastero opened on Dec 16, 2023

Features priorities

Status: Open.

#12 In lemastero/agda2rust;

· lemastero opened on Dec 15, 2023

Add cross platform nix flake setup

CI

Status: Open.

#9 In lemastero/agda2rust;

· lemastero opened on Dec 14, 2023

Compile multiple function clauses

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In lemastero/agda2rust;

· lemastero opened on Dec 14, 2023

Compile pattern matching

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In lemastero/agda2rust;

· lemastero opened on Dec 14, 2023

Compile functions with multiple arguments

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In lemastero/agda2rust;

· lemastero opened on Dec 14, 2023

Drop path when specifying out directory ?

questionFurther information is requestedFurther information is requested

Status: Open.

#5 In lemastero/agda2rust;

· lemastero opened on Dec 14, 2023