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

Labels Milestones

  • Typed Program Analysis

    0%
    1 Open
    0 Closed
    Updated 2024-12-30 13:51:38 +00:00
    2024-02-05

    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.