diff options
| author | Braxton Hall | 2022-10-24 07:06:33 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-24 07:06:33 +0000 |
| commit | bb4dd5b33e782d2c385c3393af783a8dd36770c4 (patch) | |
| tree | 0fba8615c9c3f8f9de3853f074b7bc83fbf14008 /entries/ionathanch/Fib.agda | |
| parent | 15c8967ec8074f3c7272ac7107847e3bb4539e99 (diff) | |
| parent | dcf99fd7ebf54474ea6d81ced6e00c28fba614fa (diff) | |
Merge pull request #18 from lizard-business/maude-ats
add maude & ATS
Diffstat (limited to 'entries/ionathanch/Fib.agda')
0 files changed, 0 insertions, 0 deletions