🔰 Is the quickstart tutorial good enough? about asai HOT 11 CLOSED

FWIW, I found the quickstart tutorial to be helpful in getting started.

from asai.

from asai.

@solomon-b A little bird told me it's already in use... but maybe you are still interested in reading the tutorial 😅

Haha, @TOTBWF is heavily involved in PolyTT and we chose Ocaml specifically for the RedPRL library ecosystem. I'll take a look at this tutorial when I have some free time.

from asai.

Writing the tutorial is helpful... now I realized the Span API is not good enough 😅

from asai.

I realized the Span API is not good enough 😅

Fixed by #68 😎

from asai.

Hi @solomon-b, if you feel adventurous, I think asai is ready for advanced beta users! I would like to extend my invitation to you as well (for polytt and maybe other things) 😎

from asai.

@solomon-b A little bird told me it's already in use... but maybe you are still interested in reading the tutorial 😅

from asai.

Thinking about it, I will probably release version 0.1.0 this weekend for my upcoming talk about these libraries. We can always update things later and things don't have to be perfect.

from asai.

Updates: the tutorial just got two new sections, and 0.1.0 is now released! 😎

from asai.

@solomon-b @jonsterling FYI: there's an on-going discussion about changing the name of Logger: #80.

from asai.

I'm closing this given @mikeshulman's approval. Thanks! (We can still continue improving the tutorial.)

from asai.