Jan Mas Rovira
Jan Mas Rovira
WIP # User-facing languages # Internal languages 1. `dev compile core` has the same behaviour as `dev core from-concrete`. The `dev core from-concrete` command becomes deprecated. 2. `dev compile tree`...
When the bug #2247 happens, we generate an informative error instead of crashing.
- Depends on #2354. We would support three kinds of statements (bind, let, expression), and we could borrow the syntax from haskell. ``` do {
The following ``` module Lambda; type Box (A : Type) := | box : A → Box A; x : Box ((A : Type) → A → A); x :=...
Consider this issue an unfinished draft. - It has been brought up in https://github.com/anoma/juvix/issues/2074, that it would be useful to have the option to refer to constructors by their type....
The projects should reuse some instance of the standard library by default instead of having its own copy. We can use `defaultStdlib` identifier in the `Package.juvix` file to refer to...
It is often the case that we define a top level type that we only use in a function. It is also likely that we use tuples or generic sum...