Post with jamfile.

This commit is contained in:
Sigilante 2024-11-19 10:45:44 -06:00
parent d3831f7225
commit 4dd55b14a4
4 changed files with 19 additions and 2 deletions

Binary file not shown.

View File

@ -172,6 +172,21 @@
:: |= [=term t=@t]
:: ~| term
:: (test t)
:: =| i=@
:: =/ len (lent list-jocks)
:: =| lis=(list ?)
:: |-
:: ?: =(i len)
:: (flop lis)
:: =/ res=(unit *)
:: %- mole
:: |.
:: =/ nok (mint i)
:: .*(%jock +.nok)
:: =. lis
:: [?=(^ res) lis]
:: $(i +(i))
:: ::
:: ++ test
:: |= i=@
@ -199,7 +214,9 @@
%- mole
|.
=/ nok (mint i)
.*(%jock +.nok)
=/ jok .*(%jock +.nok)
~& [i `@tas`-.nok jok]
jok
=. lis
[?=(^ res) lis]
$(i +(i))

View File

@ -58,7 +58,7 @@
:: ?~ pa results
:: $(pa t.pa, results `(list tank)`[leaf+"{<i.pa>}" results])
:: ~& > " "
~& test-jocks:test-jock
:: ~& test-jocks:test-jock
?- -.c
%test-n [~ k]
%test-all [~ k]

BIN
out.jam Normal file

Binary file not shown.