https://github.com/wenkokke/agda-exec-tc

A repository with examples of using the system call primitive execTC.
https://github.com/wenkokke/agda-exec-tc

Last synced: 10 days ago
JSON representation

A repository with examples of using the system call primitive execTC.

• Host: GitHub
• URL: https://github.com/wenkokke/agda-exec-tc
• Owner: wenkokke
• Created: 2020-06-05T10:09:21.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-06-05T10:22:15.000Z (over 4 years ago)
• Last Synced: 2023-03-23T09:31:32.095Z (over 1 year ago)
• Language: Agda
• Size: 1.95 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project