Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

finlandia:~> apropos win win: nothing appropriate.


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

SubjectAuthor
o #{Update v0.3.1} Gremlin Scheme ProjectThe Holy Ghost

1
#{Update v0.3.1} Gremlin Scheme Project

<623f250e$0$699$14726298@news.sunsite.dk>

  copy mid

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

  copy link   Newsgroups: comp.lang.scheme
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!dotsrc.org!filter.dotsrc.org!news.dotsrc.org!not-for-mail
Date: Sat, 26 Mar 2022 15:37:00 +0100
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.3.1} Gremlin Scheme Project
Organization: Brandywine Software
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 30
Message-ID: <623f250e$0$699$14726298@news.sunsite.dk>
NNTP-Posting-Host: a3a25213.news.sunsite.dk
X-Trace: 1648305422 news.sunsite.dk 699 automn.willow@gmail.com/109.136.39.83:54463
X-Complaints-To: staff@sunsite.dk
 by: The Holy Ghost - Sat, 26 Mar 2022 14:37 UTC

Hi,

Gremlin Scheme has stubs now for the server side library bootstrapping,
using parsing of files and the symbols API (which will allow integration
of Gremlin Scheme into other languages or clients.)

The theorem prover inside now parses preconditions of the form A,B into
A ^ B and A | B. Then the followers dictionary gets updated that way.
( A follower is A,B |- thus A ^ B |- and A | B |- )

The integration is as Guile's Scheme file bootstrapping, a listener as
described above. The whole thing is dictionary and hash based for good
measure. The parser (e.g. for GameBoy assembler/microcode) still needs a
full write.

The system compiles, but remains untested.

You can find the latest 0.3.x version files at :
https://sourceforge.net/projects/gremlin-scheme/files/

HAND,
holly

--
(__)
oo )
|_/\

My Software & Art company : https://ko-fi.com/brandywine9

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor