|
C
|
minor edits
|
2023-07-25 20:03:11 -07:00 |
|
GNUProlog
|
Minor edits.
|
2023-07-25 10:04:45 -07:00 |
|
Nim
|
inscribe command for Nim.
|
2023-02-14 20:27:36 -08:00 |
|
Ocaml
|
Minor cleanup.
|
2022-09-28 22:07:28 -07:00 |
|
Python
|
minor edits
|
2023-07-25 20:03:11 -07:00 |
|
SWIProlog
|
SWIProlog
|
2023-02-18 20:09:19 -08:00 |
|
oldlog
|
Improve compiling of step combinator.
|
2022-09-28 18:18:20 -07:00 |
|
uvm-ncc
|
Minor edits.
|
2023-07-24 11:28:45 -07:00 |
|
check_against_defs.txt
|
SWIProlog
|
2023-02-18 20:09:19 -08:00 |
|
defs.txt
|
or instead of ||, and instead of &&
|
2023-02-14 12:27:46 -08:00 |
975924f632