Search results

Numeric types for conversions

Status: Open.

#100 In adamgundry/uom-plugin;

· adamgundry opened on Oct 9, 2022

New design

Status: Open.

#98 In adamgundry/uom-plugin;

· adamgundry opened on Oct 8, 2022

Probable type soundness bug

Status: Open.

#97 In adamgundry/uom-plugin;

· adamgundry opened on Oct 8, 2022

Doctest tutorial on 9.0 and 9.4

Status: Open.

#96 In adamgundry/uom-plugin;

· adamgundry opened on Oct 8, 2022

Packaging definitions

Status: Open.

#95 In adamgundry/uom-plugin;

· adamgundry opened on Oct 8, 2022

Applying substitutions from givens

Status: Open.

#94 In adamgundry/uom-plugin;

· adamgundry opened on Oct 8, 2022

Doctest, cannot set package flags with :seti; use :set

Status: Open.

#89 In adamgundry/uom-plugin;

· philderbeast opened on Aug 9, 2021

testEquivalentSUnit requires unsafeCoerce

Status: Open.

#84 In adamgundry/uom-plugin;

· adamgundry opened on Jun 23, 2021

Avoid non-deterministic type comparison

Status: Open.

#81 In adamgundry/uom-plugin;

· adamgundry opened on Jun 23, 2021

Quoted unit functions don't compose.

Status: Open.

#72 In adamgundry/uom-plugin;

· philderbeast opened on Apr 18, 2020

Use with liquid haskell

Status: Open.

#49 In adamgundry/uom-plugin;

· philderbeast opened on Jun 29, 2018

Simplify GHC API use

Status: Open.

#46 In adamgundry/uom-plugin;

· adamgundry opened on Jun 10, 2018