Compute service example (!22) · Merge requests · Iris / Actris · GitLab

Snippets Groups Projects

Merged Jonas Kastberg requested to merge jonas/compute_list_par into master 4 years ago

Sep 21, 2020
- Made client type polymorphic · afe73811
  Jonas Kastberg authored 4 years ago
  
  afe73811
- Changed position of reference in list type def · bd9c13f9
  Jonas Kastberg authored 4 years ago
  
  bd9c13f9
- Nits · be24d0bd
  Jonas Kastberg authored 4 years ago
  
  be24d0bd
- Added todo in regards to ltyped_val explanation · 2b955907
  Jonas Kastberg authored 4 years ago
  
  2b955907
- Added todo for ltyped_val_lam deriving · afff201a
  Jonas Kastberg authored 4 years ago
  
  afff201a
- Killed another lty scope · 55b265fa
  Jonas Kastberg authored 4 years ago
  
  55b265fa
- Killed a bunch of eautos. · 9b9065ed
  Jonas Kastberg authored 4 years ago
  
  9b9065ed
- Removed redundant lty scopes · 4427afa1
  Jonas Kastberg authored 4 years ago
  
  4427afa1
- Refactoring of client/service · fdc2775d
  Jonas Kastberg authored 4 years ago
  
  fdc2775d
- Review comments for compute example · 98da017c
  Jonas Kastberg authored 4 years ago
  
  98da017c
- Addressing review comments · 58e53ad9
  Jonas Kastberg authored 4 years ago
  
  58e53ad9
- Added example of computation service with producer/consumer client · e2940752
  Jonas Kastberg authored 4 years ago
  
  e2940752
- Added coercion lemmas for lsty · b44f7692
  Jonas Kastberg authored 4 years ago
  
  b44f7692
- Added value typing judgement and value rules for lam and rec · 8338156f
  Jonas Kastberg authored 4 years ago
  
  8338156f