]> Repositorios git - scryer-prolog.git/commitdiff
Remove Scryer Prolog meetup banner :(
authorAdrián Arroyo Calle <[email protected]>
Wed, 15 Nov 2023 21:42:18 +0000 (22:42 +0100)
committerAdrián Arroyo Calle <[email protected]>
Wed, 15 Nov 2023 21:42:18 +0000 (22:42 +0100)
INDEX.dj

index 1715dcb278061abe934e354c2bf6e4a76f11683c..fbf131251e1e33db620eed7c0118cdb960a2e3fa 100644 (file)
--- a/INDEX.dj
+++ b/INDEX.dj
@@ -5,13 +5,6 @@
    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
 strength production environment *and* a testbed for bleeding edge research in
 logic and constraint programming.
@@ -28,6 +21,7 @@ Some of the Scryer Prolog features are:
 * [Cryptographical predicates](/crypto.html)
 * [Foreign Function Interface](/ffi.html)
 * WebAssembly support
+* Usable as a library
 * WAM based engine, cross-platform made in Rust
 * _and more..._
 
@@ -80,4 +74,4 @@ an [issue](https://github.com/mthom/scryer-prolog/issues).
 
 To get in touch with the Scryer Prolog community, participate in
 [discussions](https://github.com/mthom/scryer-prolog/discussions)
-or visit our #scryer IRC channel on [Libera](https://libera.chat)!
\ No newline at end of file
+or visit our #scryer IRC channel on [Libera](https://libera.chat)!