search

TypeFox / typir

Typir is a library for building type systems
MIT License
10 stars 2 forks source link

Documentation #17

Closed ftomassetti closed 1 month ago

ftomassetti commented 1 month ago

Is there any documentation or overview about this component?

JohannesMeierSE commented 1 month ago

Not yet, sorry 🙁

We are still in early development of Typir, but we will provide an overview and a roadmap for Typir soon.

BTW I just enabled GH Discussions now 🙂 Feel free to ask and share ideas!

We will present Typir at two conferences soon in order to discuss with the community about type checking in the web:

For a first glimpse, have a look into an application of Typir for OX (a reduced version of LOX) with Langium here.

KoenVanExem commented 1 month ago

Are you recording any of those talks?

ftomassetti commented 1 month ago

@KoenVanExem the talks at LangDev'24 should be recorded

JohannesMeierSE commented 1 month ago

@KoenVanExem the EclipseCon'24 will be recorded as well and published on Youtube