Paul Cadman comments

Results 39 comments of


                                            Paul Cadman

Extract built-in definitions from the standard library

Implemented in https://github.com/anoma/juvix-stdlib/pull/91

Implement a test suite that runs Juvix compiled logic functions in Anoma

We cannot do this until the rm-submit CLI is available in Anoma. We cannot run this test in CI because anoma is a private repo.

Implement a test suite that runs Juvix compiled logic functions in Anoma

* Closed by https://github.com/anoma/anoma-apps/pull/22

Succinct syntax for type variable quantification

This was discussed before we added succinct syntax for introducing type variables on the left of the `:`. We now think that the syntax is succinct enough.

On Apple silicon machines, the brew installed llvm's `wasm-ld` linker does not seem to be detected by juvix doctor command.

Hi 👋 - thanks for the report. To summarise: * `wasm-ld` and a WASM compatible clang are only required if you want to use Juvix's WASM target. This is not...

`juvix init` generated `juvix.yaml` is incompatible with the `internal-build-dir`

Discussed with the team. We should use an external dependency for the standard library: ``` dependencies: - git: url: https://github.com/anoma/juvix-stdlib name: stdlib ref: v1.2.3 ``` We should publish releases of...

Encode concrete algebraic data types into field elements for VampIR input

We no longer support the vamp-ir backend.

Add do-notation

Wait until we have use-cases in Anoma applications.

Bug in typechecking (inference generates ill-scoped terms)

@janmasrovira please raise a separate issue for adding an error message.

A Working Kudos V1 Example

Devnet 0.1 Kudos application was completed in https://github.com/anoma/anoma-apps/pull/29