neighbour-hoods/rep_lang

Issues

• transition off forked rustyline once wasm support is merged mainline

  #78 opened 3 years ago by mhuesch
  0

• revamp `cargo2nix` workflow in light of no toplevel workspace

  #53 opened 3 years ago by mhuesch
  2

• global: bump package versions to latest

  #30 opened 3 years ago by mhuesch
  2

• convert CI to use nix

  #37 opened 3 years ago by mhuesch
  2

• investigate / scope adding a module system

  #47 opened 4 years ago by mhuesch
  1

• add automated checks to CI

  #36 opened 4 years ago by mhuesch
  0

• add basic boolean operators

  #44 opened 3 years ago by mhuesch
  0

• add numeric inequality operators

  #45 opened 3 years ago by mhuesch
  0

• add support for user-defined datatypes

  #54 opened 4 years ago by mhuesch
  0

• Implement API interface for DSL runtime

  #5 opened 3 years ago by pospi
  9

• Automatic conversions between units using TCons to represent OM-typed data

  #6 opened 3 years ago by pospi
  1

• Demonstrate reputation calculation over Holochain data

  #4 opened 3 years ago by pospi
  1

• High-level sketch of the problem space

  #1 opened 3 years ago by pospi
  3

• Proof execution against custom types provided to the interpreter

  #7 opened 3 years ago by pospi
  2

• Implement measures for memory efficiency / bounding on large datasets

  #55 opened 3 years ago by pospi
  1

• Proof single-step computations

  #56 opened 3 years ago by pospi
  1

• Proof multi-step computations

  #57 opened 3 years ago by pospi
  1

• Proof execution of custom type compatibility / incompatibility

  #9 opened 3 years ago by pospi
  2

• implement incremental lists via fusion & stepped sub-expression interpretation

  #25 opened 4 years ago by mhuesch
  4

• investigate lazy evaluation as a means of implementing incremental list processing

  #34 opened 4 years ago by mhuesch
  1

• investigate whether garbage production can be minimized

  #49 opened 4 years ago by mhuesch
  2

• add `head` and `tail` primitives to facilitate easy (tho unsafe) list processing

  #42 opened 4 years ago by mhuesch
  0

• add `fix` back to the language

  #41 opened 4 years ago by mhuesch
  0

• investigate ways to reduce `Sto` clutter

  #52 opened 4 years ago by mhuesch
  0

• implement garbage collection

  #48 opened 4 years ago by mhuesch
  0

• support loading of source files in `rli`

  #46 opened 4 years ago by mhuesch
  0

• add proper option parsing to the various executables

  #43 opened 4 years ago by mhuesch
  0

• feature: sum types & match/case syntax

  #18 opened 4 years ago by mhuesch
  1

• concrete syntax: support non-letter characters in names

  #27 opened 4 years ago by mhuesch
  2

• concrete syntax: add line/col numbers to parse errors

  #29 opened 4 years ago by mhuesch
  4

• abstract / concrete syntax interface invariant checking

  #28 opened 4 years ago by mhuesch
  0

• interpreting `fix` overflows stack

  #17 opened 4 years ago by mhuesch
  1

• implement "incremental lists"

  #12 opened 4 years ago by mhuesch
  2

• implement integer division

  #23 opened 4 years ago by mhuesch
  0

• Multi-crate refactoring

  #8 opened 4 years ago by pospi
  1

• import `poly-rs` repo into this repository; rename crates

  #10 opened 4 years ago by mhuesch
  2

• feature: record syntax ideas / scopedlabels

  #19 opened 4 years ago by mhuesch
  0

• potential optimization: look for fully applied lambdas and substitute them all at once

  #20 opened 4 years ago by mhuesch
  0

• test-suite feature: generate well-typed `Expr`s

  #21 opened 4 years ago by mhuesch
  0

• set up a CI checks on PRs

  #15 opened 4 years ago by mhuesch
  0

• create API interface tests to target "incremental lists"

  #11 opened 4 years ago by mhuesch
  2

• strategize about implementation for `Type::TRelated`

  #13 opened 4 years ago by mhuesch
  1

• rough notes / progress log

  #2 opened 4 years ago by mhuesch
  13

• investigate Haskell’s suitability

  #3 opened 4 years ago by mhuesch
  4