Memorytaco/t-lang

Issues

• add language specs

  #20 opened 9 months ago by Memorytaco
  0

• try to use TemplateHaskell to easily test graphic algorithms

  #18 opened a year ago by Memorytaco
  1

• try to research on higher kinded system in MLF

  #19 opened 9 months ago by Memorytaco
  0

• craft pattern compiler derived from decision tree

  #15 opened a year ago by Memorytaco
  1

• investigate on what data models are to be available in language

  #17 opened a year ago by Memorytaco
  0

• add sugar for type

  #16 opened a year ago by Memorytaco
  1

• add basic jit functionality

  #10 opened a year ago by Memorytaco
  1

• investigate region inference

  #12 opened a year ago by Memorytaco
  2

• add user interface in repl for type inference

  #13 opened a year ago by Memorytaco
  1

• add middle lang to help translating language into LLVM IR

  #9 opened 2 years ago by Memorytaco
  2

• complete type inference for `Expr`

  #3 opened a year ago by Memorytaco
  7

• Investigate possibility of using CHR for implementing type class

  #14 opened a year ago by Memorytaco
  1

• add early stage repl

  #11 opened a year ago by Memorytaco
  1

• add constraint

  #7 opened 2 years ago by Memorytaco
  1

• investigate LLVM for codegen

  #6 opened 2 years ago by Memorytaco
  1

• investigate LLVM for codegen

  #8 opened 2 years ago by Memorytaco
  0

• get better declaration structure

  #2 opened 2 years ago by Memorytaco
  2

• investigate TAL (typed assembly language)

  #1 opened 2 years ago by Memorytaco
  2