Mikaël Mayer
Mikaël Mayer
What is it supposed to display ? Or where ?
B(...) because lemma(...) as you say can be represented as: ``` assert(lemma(...)) B(...) ``` But this would be nice to have the because statement. Would you think it would be...
@regb @colder @samarion @manoskouk Me too I want to use "assert" rather than if/else error. Anybody knows why it is not working? How did you implement assert?
Hello Alberto, are you in Windows, Unix or Mac? Can you please give more details about your issue? For example, can you type this tilde in the search box of...
I suggest you submit a pull request with a language file for PERL here: https://github.com/koka-lang/madoko/blob/master/styles/lang/ You may try your language file yourself before submitting it by running Madoko locally: https://github.com/koka-lang/madoko#using-madoko
Oh even better, you can put your JSON language file directly into the folder to test it. On the menu on the top right, insert file > language colorizer.
I just encountered the same problem. I would need a function of the signature: delayedCommitAndThen: (a -> b -> c) -> Parser a -> (a -> Parser b) -> Parser...
I just found an implementation: ``` delayedCommitAndThen: (a -> b -> value) -> Parser a -> (a -> Parser b) -> Parser value delayedCommitAndThen func (Parser parseA) aToParserB = Parser...
Note: I did not test this code. Can you please tell me if it is valid, or how to test it?
To be clear about this pull request, I did the following changes: - I removed the supposition that numbers should start with a digit > 0. Leading zeroes should be...