Thun/implementations
Simon Forman 5ee30a70f9 Minor cleanup.
Some printing to see the machinery in action.
2023-03-04 08:31:40 -08:00
..
C Allocate a buffer just large enough. 2023-02-20 16:23:41 -08:00
GNUProlog A simple Joy-to-AST program. 2023-02-17 11:08:43 -08: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 A start on styling notebooks. 2023-02-15 13:43:22 -08: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 cleanup. 2023-03-04 08:31:40 -08: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