Revision as of 08:29, 29 March 2025 edit Valvino (talk \| contribs) 174 edits new name for Coq ← Previous edit		Revision as of 14:00, 29 March 2025 edit undo WikiDan61 (talk \| contribs) Extended confirmed users, New page reviewers, Pending changes reviewers 104,559 edits m Former, not "ancien" Next edit →
Line 156: * [[Constraint Handling Rules]] (CHR) * [[Control Language]] * ''Coq'', ~~ancien~~former name of [[Rocq (software)\|Rocq]] * [[CORAL]], Coral 66 <!-- [[Corn (emulator)\|Corn]] was a nintendo emulator, not a programming language -->

List of programming languages: Difference between revisions