brendanzab/moniker

Issues

• Bug with nested letrecs?

  #84 opened 4 years ago by gmorpheme
  2

• Suppport multiple identifier namespaces

  #8 opened 6 years ago by brendanzab
  0

• Add example of Haskell style definitions

  #38 opened 6 years ago by brendanzab
  0

• Add a Subst trait

  #11 opened 6 years ago by brendanzab
  0

• Support other styles of name binding

  #22 opened 6 years ago by brendanzab
  1

• Publish v0.1 on Crates.io

  #4 opened 6 years ago by brendanzab
  0

• Use cargo-readme to keep docs and README in sync

  #34 opened 6 years ago by brendanzab
  0

• Implement pattern matching in STLC examples

  #16 opened 6 years ago by brendanzab
  3

• Cache free variables in scopes

  #10 opened 6 years ago by brendanzab
  0

• Store max-bound variable in terms

  #21 opened 6 years ago by brendanzab
  1

• Implement examples based on 'Let Arguments Go First'

  #19 opened 6 years ago by brendanzab
  1

• Add an example of type checking recursive types and recursive functions

  #9 opened 6 years ago by brendanzab
  0

• Allow for the customization of the underlying String type for free names

  #3 opened 6 years ago by brendanzab
  0

• Implment an example of general recursion

  #5 opened 6 years ago by brendanzab
  0

• Rec pattern type

  #2 opened 7 years ago by brendanzab
  1

• Rebind pattern type

  #1 opened 7 years ago by brendanzab
  0