search

opprop / immutability

The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability
Other
3 stars 5 forks source link

All commits #30

Closed AndrewShf closed 2 years ago

AndrewShf commented 2 years ago

Commits for fixing PICO-TypeCheck and part of PICO-Infer Change CI to GitHub Action

AndrewShf commented 2 years ago

The pr is replaced by #35