Siyuan Chen

> I just added you to an old repo with work in progress about the project and its implementation. Hi, Nada, I'm sorry... I don't quite understand the meaning of...

Thank you. But is the `smt-pearl` under your github account? Or just a branch? I can't find this repo. Is there a link for it?

I don't quite understand the issue, could you explain it further?

Hi @rjelliffe, "If you do need to use other XSLT, then hide them in a function as much as possible." If I have some util functions in XSLT file. Can...

 @pkulchenko I captured a screenshot. You can this two buttons to navigate code.

Yes, it's very convenience when browsing code.

This feature is important when you reading other people's code. For example: There are 3 modules(A B and C) in your project. . The programm's main flow is "module A...

@tgbugs > I suspect that this is equivalent to your null-pointer scenario, and it is always an error, otherwise you allow the creeping insanity of C to wind its way...

Add an use case for this kind of commenting: For example: ``` (define testo (λ (x) (onceo (conde ((== 'tea x) succeed) ((== 'cup x) succeed) (else fail))))) ``` I'd...

@Metaxal It makes the code less readable imo. The original purpose was just to comment, now a new construct `values` has been introduced.