Search results

Optimizations

Status: Open.

#114 In quangis/transforge;

· nsbgn opened on Jul 15, 2023

Disentangle interactions between type variables and subtypes

Status: Open.

#113 In quangis/transforge;

· nsbgn opened on Nov 14, 2022

Allow supertypes of parameterized types

Status: Open.

#112 In quangis/transforge;

· nsbgn opened on Nov 9, 2022

Include type aliases in taxonomy

Status: Open.

#111 In quangis/transforge;

· nsbgn opened on Nov 9, 2022

Canonical types don't propagate to parameters

Status: Open.

#109 In quangis/transforge;

· nsbgn opened on Oct 21, 2022

Union types (explicit overloading)

Status: Open.

#106 In quangis/transforge;

· nsbgn opened on Sep 29, 2022

Define transformation algebra outside of Python

Status: Open.

#105 In quangis/transforge;

· nsbgn opened on Sep 29, 2022

Take subtype constraints into account when setting subtype bounds

Status: Open.

#92 In quangis/transforge;

· nsbgn opened on May 17, 2022

Annotating types of data sources

Status: Open.

#88 In quangis/transforge;

· nsbgn opened on Apr 1, 2022

Nested constraints

Status: Open.

#86 In quangis/transforge;

· nsbgn opened on Mar 14, 2022

Investigate constraining behaviour

Status: Open.

#85 In quangis/transforge;

· nsbgn opened on Mar 13, 2022

Allow TypeOperators with nonzero arity in typeclass constraints

Status: Open.

#84 In quangis/transforge;

· nsbgn opened on Mar 13, 2022