Type-inference-algorithm

Type inference algorithm project for the AI course @ FMI, SU

Tasks

General tasks to be done

Elizabeth

• Research how to interact with ChatGPT via Python
• Structured vs. Unstructured input of programs

Tsvetelin

• Define the type system we'll be using
• Implementations of bidirectional type inference and Hindley-Milner type inference

Shared

• Documentation
• Benchmarks
• Answer comparison

More info

In the pdf presentation. :)