sforman 18b5d5b497 Minor edits.

2023-07-25 10:04:45 -07:00

..

C

Compile on Ubuntu.

2023-07-24 11:29:39 -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

oldlog

Improve compiling of step combinator.

2022-09-28 18:18:20 -07:00

Python

Make it compatible with Xerblin.

2023-07-24 11:29:06 -07:00

SWIProlog

SWIProlog

2023-02-18 20:09:19 -08: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