Search results

Dockerfile

Status: Open.

#208 In plclub/hs-to-coq;

· ivanperez-keera opened on Mar 20, 2025

hs-to-coq translates GeneralizedNewtypeDeriving instances incorrectly

Status: Open.

#206 In plclub/hs-to-coq;

· nosewings opened on Aug 28, 2024

GHC panic when building with stack

Status: Open.

#204 In plclub/hs-to-coq;

· basetunnel opened on Dec 7, 2022

Read edits in a locale-independent manner

Status: Open.

#203 In plclub/hs-to-coq;

· Lysxia opened on Sep 11, 2022

add <code>nix</code> to ci

Status: Open.

#201 In plclub/hs-to-coq;

· quinn-dougherty opened on Nov 3, 2021

idea: people with experience write an index of module strategies

Status: Open.

#198 In plclub/hs-to-coq;

· quinn-dougherty opened on Nov 2, 2021

idea: migrate <code>examples</code> directory to a <code>hs-to-coq</code> registry of supported modules

Status: Open.

#197 In plclub/hs-to-coq;

· quinn-dougherty opened on Nov 2, 2021

streamline, standardize, and tutorialize the process of adding an example to <code>examples</code>

Status: Open.

#196 In plclub/hs-to-coq;

· quinn-dougherty opened on Nov 2, 2021

proper usage of <code>--import-dir</code>, or; how to use <code>hs-to-coq</code> on codebases with imports

Status: Open.

#195 In plclub/hs-to-coq;

· quinn-dougherty opened on Oct 23, 2021

Skip types from a skipped module

Status: Open.

#166 In plclub/hs-to-coq;

· lastland opened on Nov 3, 2020

Pattern synonyms

Status: Open.

#164 In plclub/hs-to-coq;

· lastland opened on Nov 3, 2020

Code duplication in mutually recursive functions

Status: Open.

#162 In plclub/hs-to-coq;

· lastland opened on Nov 3, 2020