Issues

• Set up trusted publishing

  TypeFox/typir#110 · Filter by author spoenemann opened on Jul 2, 2026

• Make implicit conversion more flexible

  Infrastructure
  TypeFox/typir#109 · Filter by author JohannesMeierSE opened on Jun 30, 2026

• API for explicit casting operators

  Infrastructure
  TypeFox/typir#108 · Filter by author JohannesMeierSE opened on Jun 30, 2026

• Expression evaluation

  Infrastructure
  TypeFox/typir#107 · Filter by author JohannesMeierSE opened on Jun 30, 2026

• Make built-in validation rules easier to customize

  Predefined Types
  TypeFox/typir#106 · Filter by author JohannesMeierSE opened on Jun 30, 2026

• More performant inference rules for Functions, Classes

  Predefined Types
  TypeFox/typir#105 · Filter by author JohannesMeierSE opened on Jun 30, 2026

• Create initial documentation

  documentation
  TypeFox/typir#74 · Filter by author JohannesMeierSE opened on Apr 29, 2025 · Backlog

• Support Enumeration types

  good first issuePredefined Types
  TypeFox/typir#61 · Filter by author JohannesMeierSE opened on Feb 7, 2025 · Backlog

• Improve linking of overloaded functions

  in progressPredefined Types
  TypeFox/typir#50 · Filter by author JohannesMeierSE opened on Dec 19, 2024 · v0.4
  1

• Improve and test structurally typed ClassTypes

  in progressPredefined Types
  TypeFox/typir#45 · Filter by author JohannesMeierSE opened on Dec 14, 2024 · Backlog
  

• Integrate remaining types into the factory API

  Predefined Types
  TypeFox/typir#44 · Filter by author JohannesMeierSE opened on Dec 12, 2024 · v0.4

• Constrained primitive types

  New FeaturePredefined Types
  TypeFox/typir#38 · Filter by author JohannesMeierSE opened on Nov 20, 2024 · Backlog

• Experiment with approach "primitives and composites"

  Infrastructure
  TypeFox/typir#35 · Filter by author Lotes opened on Nov 12, 2024 · Backlog
  

• Support calculated (return) types

  New Feature
  TypeFox/typir#34 · Filter by author JohannesMeierSE opened on Nov 12, 2024 · v0.4

• Union / combination of type systems build with Typir

  Infrastructure
  TypeFox/typir#31 · Filter by author JohannesMeierSE opened on Oct 29, 2024 · Backlog

• Type aliases

  Predefined Types
  TypeFox/typir#30 · Filter by author JohannesMeierSE opened on Oct 29, 2024 · Backlog

• Union, intersect, ... types

  Predefined Types
  TypeFox/typir#29 · Filter by author JohannesMeierSE opened on Oct 29, 2024 · Backlog

• Generics

  Predefined Types
  TypeFox/typir#26 · Filter by author JohannesMeierSE opened on Oct 29, 2024 · Backlog
  6

• Test infrastructure for more fine-grained test cases

  Infrastructure
  TypeFox/typir#25 · Filter by author JohannesMeierSE opened on Oct 29, 2024 · Backlog

• Lambdas

  Predefined Types
  TypeFox/typir#21 · Filter by author JohannesMeierSE opened on Oct 29, 2024 · Backlog