Search results

Doubt: GraphM usage

Status: Open.

#120 In compiling-to-categories/concat;

· ju-sh opened on Feb 4, 2025

Compiling to categories with dependent types

Status: Open.

#110 In compiling-to-categories/concat;

· conal opened on Jan 20, 2023

Restricting functor arguments

Status: Open.

#108 In compiling-to-categories/concat;

· mikesperber opened on Sep 1, 2022

[Question] Compiling to EVM bytecodes?

Status: Open.

#107 In compiling-to-categories/concat;

· hellwolf opened on Aug 24, 2022

Split into separate repos?

Status: Open.

#106 In compiling-to-categories/concat;

· sellout opened on May 18, 2022

Deduplicate LoopCat and TracedCat

Status: Open.

#95 In compiling-to-categories/concat;

· sellout opened on Jan 30, 2022

Publish (parts of) concat on Hackage?

Status: Open.

#90 In compiling-to-categories/concat;

· sellout opened on Jan 11, 2022

Orphans in hidden packages

Status: Open.

#81 In compiling-to-categories/concat;

· zliu41 opened on Sep 30, 2021

Rebox rules violate ghc invariant

Status: Open.

#62 In compiling-to-categories/concat;

· mikesperber opened on Sep 16, 2020

Ok type family with second argument

Status: Open.

#61 In compiling-to-categories/concat;

· conal opened on Aug 16, 2020

Switch to quantified constraints, and eliminate entailment logic

Status: Open.

#60 In compiling-to-categories/concat;

· conal opened on Aug 16, 2020

Constructing a graph of RLC circuit elements and transforming to an affine relation between inputs and outputs.

Status: Open.

#57 In compiling-to-categories/concat;

· faezs opened on Apr 11, 2020