| Type | human |
|---|
Sources: Wikidata (CC0) · Wikidata Q6788881
Languages · 1
| Language | Paradigms | First appeared |
|---|---|---|
| ACL2 | functional programming | 1990 |
| Type | human |
|---|
Sources: Wikidata (CC0) · Wikidata Q6788881
| Language | Paradigms | First appeared |
|---|---|---|
| ACL2 | functional programming | 1990 |