Message-ID:

Unix is a Registered Bell of AT&T Trademark Laboratories. -- Donn Seeley

devel / comp.lang.scheme / #{Update v0.4.3} Gremlin Scheme

#{Update v0.4.3} Gremlin Scheme

<6245074f$0$694$14726298@news.sunsite.dk>

https://www.rocksolidbbs.com/devel/article-flat.php?id=137&group=comp.lang.scheme#137

copy link Newsgroups: comp.lang.scheme

Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!dotsrc.org!filter.dotsrc.org!news.dotsrc.org!not-for-mail
Date: Thu, 31 Mar 2022 03:43:40 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.2.1
Newsgroups: comp.lang.scheme
Reply-To: hackingDOTjohan@yahooDOTcom
Content-Language: nl
From: automn.willow@gmail.com (The Holy Ghost)
Subject: #{Update v0.4.3} Gremlin Scheme
Organization: Brandywine Software
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 29
Message-ID: <6245074f$0$694$14726298@news.sunsite.dk>
NNTP-Posting-Host: 01b7ff34.news.sunsite.dk
X-Trace: 1648691023 news.sunsite.dk 694 automn.willow@gmail.com/109.136.39.83:61062
X-Complaints-To: staff@sunsite.dk

by: The Holy Ghost - Thu, 31 Mar 2022 01:43 UTC

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

Subject	Author
#{Update v0.4.3} Gremlin Scheme	The Holy Ghost