andrew-johnson-4/LSTS

Issues

• Replace backend with LM

  #262 opened 4 months ago by andrew-johnson-4
  0

• Benchmark Auto Theorems

  #258 opened 9 months ago by andrew-johnson-4
  0

• Add support for more literal types

  #184 opened 10 months ago by andrew-johnson-4
  1

• Reinstate kind projection concept

  #144 opened 10 months ago by andrew-johnson-4
  1

• Add good bootstrap testing for a,b,c features.

  #149 opened 10 months ago by andrew-johnson-4
  2

• Add infix syntax like Haskell et. al.

  #153 opened 10 months ago by andrew-johnson-4
  6

• Document Covariance and Contravariance rules

  #154 opened 10 months ago by andrew-johnson-4
  1

• Synthesize alternative instructions for floating point numbers

  #155 opened 10 months ago by andrew-johnson-4
  2

• Extend stdlib to include methods for lists, sets, and maps

  #169 opened 10 months ago by andrew-johnson-4
  3

• Add support for parameterized types with type bounds

  #176 opened 10 months ago by andrew-johnson-4
  1

• Add support for Structs in rhs codegen

  #180 opened 10 months ago by andrew-johnson-4
  1

• Add support for structs and tuples in patterns in codegen

  #181 opened 10 months ago by andrew-johnson-4
  1

• Permit valued let bindings

  #182 opened 10 months ago by andrew-johnson-4
  1

• Write unification algorithm in L1

  #188 opened 10 months ago by andrew-johnson-4
  1

• Generate documentation for each prelude

  #195 opened 10 months ago by andrew-johnson-4
  0

• Integrate Constraint Solver in type system

  #198 opened 10 months ago by andrew-johnson-4
  1

• Integration objective functions to type system

  #199 opened 10 months ago by andrew-johnson-4
  1

• Formal verification with stronger logical kernel

  #205 opened 10 months ago by andrew-johnson-4
  2

• Start bootstrapping l1 in l1

  #221 opened 10 months ago by andrew-johnson-4
  1

• Contemplate relaxing the one datatype per type restriction

  #222 opened 10 months ago by andrew-johnson-4
  1

• Isolate type rules for conjunction types

  #251 opened 10 months ago by andrew-johnson-4
  2

• Formalize Type System Inference

  #224 opened 10 months ago by andrew-johnson-4
  3

• Simple Compiler targeting LLVM IR

  #220 opened a year ago by andrew-johnson-4
  9

• Support F32 and F64 values

  #208 opened a year ago by andrew-johnson-4
  4

• Add support for closures

  #163 opened a year ago by andrew-johnson-4
  1

• Target Rust for AoT compilation

  #196 opened a year ago by andrew-johnson-4
  2

• Migrate backend to LM

  #216 opened a year ago by andrew-johnson-4
  1

• Cannot run the basic example of LSTS

  #206 opened a year ago by XChy
  5

• Replace Regexes with DFAs

  #204 opened 2 years ago by andrew-johnson-4
  0

• Make signed integers the default number literal

  #202 opened 2 years ago by andrew-johnson-4
  0

• FIXME

  #179 opened 2 years ago by andrew-johnson-4
  1

• Roadmap for 2023

  #158 opened 2 years ago by andrew-johnson-4
  1

• Add test case for method vs field equivalence

  #172 opened 2 years ago by andrew-johnson-4
  0

• Implement reverse operator for regular expressions

  #183 opened 2 years ago by andrew-johnson-4
  1

• Update Tutorial

  #192 opened 2 years ago by andrew-johnson-4
  0

• Introduce "Zero" at the type level

  #186 opened 2 years ago by andrew-johnson-4
  0

• Introduce

  #185 opened 2 years ago by andrew-johnson-4
  0

• Make a polymorphic function test case

  #170 opened 2 years ago by andrew-johnson-4
  1

• Add support for Ruby/Python/etc style formatting string literals

  #173 opened 2 years ago by andrew-johnson-4
  0

• String Introduction

  #171 opened 2 years ago by andrew-johnson-4
  0

• Deprecate quantified implication in favor of function syntax

  #174 opened 2 years ago by andrew-johnson-4
  0

• right triangles works as a test but not from the command line

  #167 opened 2 years ago by andrew-johnson-4
  3

• Implement includes in tokenization step

  #143 opened 2 years ago by andrew-johnson-4
  0

• Investigate the Github Actions failure

  #165 opened 2 years ago by andrew-johnson-4
  2

• Add support for embedding in other languages

  #156 opened 2 years ago by andrew-johnson-4
  0

• Build a lint frontend target for some language

  #157 opened 2 years ago by andrew-johnson-4
  0

• Add optional term argument to hints

  #159 opened 2 years ago by andrew-johnson-4
  0

• Improve performance of Term::reduce

  #148 opened 2 years ago by andrew-johnson-4
  2

• Get rid of special cases for 1-tuples

  #150 opened 2 years ago by andrew-johnson-4
  0

• Permit specialization of arrow types

  #145 opened 2 years ago by andrew-johnson-4
  0