Commits · master · Simon Spies / Iris

14 Mar, 2019 1 commit
- Get rid of locked value lambdas. · ece1ecdd
  Robbert Krebbers authored Mar 13, 2019
  
  ece1ecdd
26 Feb, 2019 1 commit
- expand HeapLang docs a bit · cceb5c12
  Ralf Jung authored Feb 26, 2019
  
  cceb5c12
18 Feb, 2019 2 commits
- we need unlocked value lambdas · a1cf5cb9
  Ralf Jung authored Feb 18, 2019
  
  a1cf5cb9
- apply feedback · e5c727d8
  Ralf Jung authored Feb 18, 2019
  
  e5c727d8
16 Feb, 2019 1 commit
- document parts of HeapLang and, in particular, what we are doing with the thunk-related notations · 38dbbf59
  Ralf Jung authored Feb 16, 2019
  
  38dbbf59