rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #1820 from aarroyoc/banner-meetup

Browse Source 
Rename INDEX.md to INDEX.dj and add banner about Scryer Prolog Meetup
This commit is contained in:
Mark Thom
2023-05-28 16:39:05 -06:00
committed by GitHub
parent b656700294 07115ce4f5
commit fa07306f09
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
INDEX.md → INDEX.dj
View File

@@ -5,6 +5,13 @@
X = "Scryer Prolog!". X = "Scryer Prolog!".
``` ```
``` =html
<div style="border: solid #00007f 3px;padding-left: 15px;padding-right: 15px;font-style: italic;background-color: #00007f30;">
<h4>Scryer Prolog Meetup 2023</h4>
<p>The first annual Scryer Prolog meetup is going to happen in Düsseldorf (Germany) on the 9th and 10th of November 2023. Join us to discover the present and future of Scryer Prolog! Participation is free, registration not required. <a href="https://hsd-pbsa.de/veranstaltung/scryer-prolog-meetup-2023/">More details here.</a></p>
</div>
```
![scryer](scryer.png){width=128 style=float:right;} [Scryer Prolog](https://github.com/mthom/scryer-prolog) is a free software ISO Prolog system intended to be an industrial ![scryer](scryer.png){width=128 style=float:right;} [Scryer Prolog](https://github.com/mthom/scryer-prolog) is a free software ISO Prolog system intended to be an industrial
strength production environment *and* a testbed for bleeding edge research in strength production environment *and* a testbed for bleeding edge research in
logic and constraint programming. logic and constraint programming.