Giters
brendanzab
/
moniker
Automagical variable binding library for Rust
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
67
Watchers:
9
Issues:
16
Forks:
7
brendanzab/moniker Issues
Bug with nested letrecs?
Updated
4 years ago
Comments count
2
Suppport multiple identifier namespaces
Updated
6 years ago
Add example of Haskell style definitions
Updated
6 years ago
Add a Subst trait
Updated
6 years ago
Support other styles of name binding
Updated
6 years ago
Comments count
1
Publish v0.1 on Crates.io
Closed
6 years ago
Use cargo-readme to keep docs and README in sync
Updated
6 years ago
Implement pattern matching in STLC examples
Closed
6 years ago
Comments count
3
Cache free variables in scopes
Updated
6 years ago
Store max-bound variable in terms
Updated
6 years ago
Comments count
1
Implement examples based on 'Let Arguments Go First'
Updated
6 years ago
Comments count
1
Add an example of type checking recursive types and recursive functions
Closed
6 years ago
Allow for the customization of the underlying String type for free names
Closed
6 years ago
Implment an example of general recursion
Closed
6 years ago
Rec pattern type
Closed
6 years ago
Comments count
1
Rebind pattern type
Closed
6 years ago