sforman 35a122b2ba Runtime type checking for comparison ops. ...

Because we're using Scheme Booleans for Thun Booleans there's no need to
make a special function for these, we can reuse the one for math ops.

2023-10-21 12:17:21 -07:00

..

C

min and max

2023-10-09 13:04:16 -07:00

Elm

Div, mod handle zero.

2023-09-23 21:20:37 -07:00

GNUProlog

Messing around with type inference.

2023-08-12 16:45:59 -07:00

Nim

Change definition of uncons.

2023-09-18 11:26:50 -07: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

Take the right number of things off of the stack.

2023-10-08 13:08:34 -07:00

scheme-chicken

Runtime type checking for comparison ops.

2023-10-21 12:17:21 -07:00

SWIProlog

Compiling Thun to Python.

2023-08-30 18:54:49 -07:00

uvm-ncc

Minor edits.

2023-07-24 11:28:45 -07:00

as_dl.py

More work on Ref doc, & stuff.

2023-10-08 17:58:22 -07:00

defs.txt

add defs for select and small; cleaner joy-func.

2023-10-13 07:42:22 -07:00