diff options
| author | Braxton Hall | 2022-10-24 02:30:09 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-24 02:30:09 +0000 |
| commit | d0208871d8c9cf86541b56afe6b830c5a20eb2c2 (patch) | |
| tree | a301e153505296285e226b9a254505def7b7758f /entries/ionathanch/agda/Fib.agda | |
| parent | 77a33a73cc11e2a4a66db549f43ec5f0e0c6eb56 (diff) | |
| parent | dffabc78b6c1e4e01b2618f5ba274b375b5c7cc4 (diff) | |
Merge pull request #12 from funemy/main
add proper bound check for z3 constraints
Diffstat (limited to 'entries/ionathanch/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions