OSDN Git Service

(root) / joypy / Thun.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0af0fb7) | patch
Partial reduction of thun/3 in the thun/4 relation.
authorSimon Forman <sforman@hushmail.com>
Sun, 26 Jan 2020 20:48:38 +0000 (12:48 -0800)
committerSimon Forman <sforman@hushmail.com>
Sun, 26 Jan 2020 20:48:38 +0000 (12:48 -0800)
commitef6d271c85da707ba3b12bfba02c5ae175e359ae
tree1e7c78772dd32302deb5535dd518124ac8a2e5cftree | snapshot
parent0af0fb7e8e3210d106568b251a8bb73a49926d49commit | diff
Partial reduction of thun/3 in the thun/4 relation.

It mostly works.
thun/thun.pl diff | blob | history
Interpreter and library.
About OSDN
Find Software
Develop Software
Help