User:GarveyPatrickD/Category Hierarchy: Difference between revisions
Content added Content deleted
(→Language: Added .QL pronunciation) |
(→Language: Added ACL2 (A Computational Logic for Applicative Common Lisp)) |
||
| Line 58: | Line 58: | ||
**[[:Category:ABAP User|User]] |
**[[:Category:ABAP User|User]] |
||
**[[:Category:ABAP examples needing attention|examples needing attention]] |
**[[:Category:ABAP examples needing attention|examples needing attention]] |
||
*[[:Category:ACL2|ACL2]] (A Computational Logic for Applicative Common Lisp) |
|||
**[[:Category:ACL2/Omit|Omit]] |
|||
**[[:Category:ACL2 Implementations|Implementations]] |
|||
**[[:Category:ACL2 User|User]] |
|||
**[[:Category:ACL2 examples needing attention|examples needing attention]] |
|||
==Library== |
==Library== |
||
Revision as of 15:10, 1 February 2021
Category Hierarchy
Language
- .QL - dot cue el
- 0815
- 11l
- 1C
- 360 Assembly
- 4D
- 4DOS Batch
- 6502 Assembly
- 68000 Assembly
- 6800 Assembly
- 80386 Assembly
- 8051 Assembly
- 8080 Assembly
- 8086 Assembly
- 8 1/2 - otto e mezzo
- 8th
- A+
- AArch64 Assembly
- ABAP (Advanced Business Application Programming)
- ACL2 (A Computational Logic for Applicative Common Lisp)