Hello,
Gremlin Scheme is a scheme system for translating to other
languages, starting with GameBoy classic assembler and
microcode.
The Scheme theorem prover now can prove (define x 5) but
needs additional parsing for retrieving name and value of
the define. The inference rules still need to be written
but the parsing of define itself is in place.
There are 2 API headers now (symbols and Scheme theorem
prover) which lets you modify the environment async.
GBC now has an opcode table.
The latest version can be found at :
https://sourceforge.net/projects/gremlin-scheme/files/
HAND,
holly
--
(__)
oo )
|_/\
My Software & Art company :
https://ko-fi.com/brandywine9
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)