idris2-dom : Extensive Idris2 DOM and web bindings

[Stefan Höck]

Dear all

I am happy to announce a first draft of idris2-dom
(https://github.com/stefan-hoeck/idris2-dom), an extensive library of
DOM and web bindings in the spirit of GHCJS-DOM,
automatically generated from Web IDL specifications by idris2-webidl
(https://github.com/stefan-hoeck/idris2-webidl).

This library's goal is to make the necessary FFI bindings available
through a nice-to-use API to those who d'like to develop browser applications
in Idris2. It comes with a tutorial going through the steps of writing and
building a small example browser application in Idris2 and
explaining in detail the design decisions behind idris2-dom and the
functionality it provides.

Quite a bit of stuff is still missing, yet I consider it to be
functional enough to let others experiment with what is available so
far. Any feedback is highly welcome.

Best regards

Stefan

[Andrey Klaus]

Hi Stefan,

Looks cool! Thanks for the job!

Andrey.

чт, 15 апр. 2021 г. в 14:59, Stefan Höck <efasc...@gmail.com>:

--
You received this message because you are subscribed to the Google Groups "Idris Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/idris-lang/20210415115938.GB3388%40gundi-nuc.