feat: add Ada

This commit is contained in:
Emmanuel Briot 2022-12-14 15:59:24 +01:00 committed by Stephan Seitz
parent 779b4222a3
commit 23906e8838
6 changed files with 239 additions and 0 deletions

View file

@ -1,4 +1,7 @@
{
"ada": {
"revision": "0210164cce71a6b6010ab24fb4fe77693469db14"
},
"agda": {
"revision": "80ea622cf952a0059e168e5c92a798b2f1925652"
},