James/tricu
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Typed Program Analysis

New Issue

We should be able to embed a type system in tricu using the typing rules described by Barry Jay in Typed Program Analysis without Encodings.

2024-02-05
0% Completed