Issues · Iris / Actris

Formalise examples 0 of 7 tasks completed

#7 · opened Apr 17, 2020 by Jonas Kastberg
- 0
updated Apr 17, 2020
Finish up Subtyping 9 of 15 tasks completed

#6 · opened Apr 15, 2020 by Jonas Kastberg
- 0
updated Apr 25, 2020
Update type-level quantifiers 1 of 6 tasks completed

#4 · opened Apr 06, 2020 by Jonas Kastberg
- 1
- 0
updated Apr 24, 2020
Update notion of Copy Types

#2 · opened Apr 06, 2020 by Jonas Kastberg
- 1
updated Apr 24, 2020
Update README

#1 · opened Apr 06, 2020 by Jonas Kastberg
- 0
updated Apr 06, 2020