Labels Milestones

New Issue

Static Analysis

Conlang will require a suite of static analysis passes to determine well-formedness, type-safety, etc.

1

Backlog

Feature: Hindley Milner polymorphic type inference (cl-typeck)

#16 opened 2024-07-31 08:42:57 +00:00 by j

0 / 2

enhancement

0

To Do

0

In Progress

0

Done