Type subtituted expressions

tjausm / Jip

Symbolic execution engine written for the OOX language in Rust

1 stars 0 forks source link

Closed tjausm closed 1 year ago

tjausm commented 1 year ago

it is confusing when to substitute and when not. Find a way to encode this in the typesystem.

tjausm commented 1 year ago

fixed in pull request #20