Fix abs#216

Open

SimonGuilloud wants to merge 81 commits intoepfl-lara:mainfrom

SimonGuilloud:fixABS

Commits on Feb 14, 2024

Implementing types and typechecking at runtime
SimonGuilloud
committed

Commits on Feb 15, 2024

Commits on Feb 16, 2024

implementing definitions of typed constants, having some problem with syntax, initialization and generating and passing adequate theorems around.
SimonGuilloud
committed

Commits on Feb 21, 2024

Support for polymorphic function labels (dependant types, really) and abstraction (with closures) seems to work!
SimonGuilloud
committed

Commits on Feb 23, 2024

fix sneaky bug with ordering of free variables in closures.
SimonGuilloud
committed

Commits on Feb 25, 2024

Commits on Mar 3, 2024

Commits on Mar 5, 2024

Commits on Mar 6, 2024

Commits on Mar 8, 2024

Commits on Mar 9, 2024

ongoing progress with INST. Works for not too complicated cases, but not fully tested
SimonGuilloud
committed

Commits on Mar 10, 2024

Corrected a lot of issued with INST (and some other issues). Implemented a cleaning function for lambdas that have been eliminated.
SimonGuilloud
committed

Commits on Mar 11, 2024

includes elimination of variables, some fixes, optimizations and improvements.
SimonGuilloud
committed

Commits on Mar 15, 2024

Commits on Mar 19, 2024