Sofia Rodrigues

algebraic.dev [email protected]

I work for @leanprover, I love this language :P

Results 21 comments of


                                            Sofia Rodrigues

kind --run results in js compilation error when a constructor is named "in"

Closed because the repository now only contains the code for the Kind2 language.

using Parser blocks as local variables fails in compilation

Closed because the repository now only contains the code for the Kind2 language.

THEOREMS.md reference `kind` executable

Closed because the repository now only contains the code for the Kind2 language.

Compiler is not checking usage of erased arguments

Closed because the repository now only contains the code for the Kind2 language.

empty string is accepted as a valid identifier

Closed because the repository now only contains the code for the Kind2 language.

Error while building Kind using nix-build and node2nix

Closed because the repository now only contains the code for the Kind2 language.

Improve monadic syntax to support switch and case

Closed because the repository now only contains the code for the Kind2 language.

In OSX you actually can install scheme from homebrew

Closed because the repository now only contains the code for the Kind2 language.

equivalent redefinition of Bool changes results

Closed because the repository now only contains the code for the Kind2 language.

Compiler doesn't support erasing functions

Too old

1
2
3
›