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

Labels Milestones

  • Typed Program Analysis

    0%
    0 Open
    0 Closed
    Updated 2025-01-27 19:42:59 +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.