issues
search
brendanzab
/
moniker
Automagical variable binding library for Rust
Apache License 2.0
67
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use cargo-readme to keep docs and README in sync
#34
brendanzab
opened
6 years ago
0
Remove unused binder variant
#33
brendanzab
closed
6 years ago
0
Identifier and parameter cleanups
#32
brendanzab
closed
6 years ago
0
More README updates
#31
brendanzab
closed
6 years ago
0
Rename PVar to Binder and TVar to Var
#30
brendanzab
closed
6 years ago
0
Improve README example
#29
brendanzab
closed
6 years ago
0
Pattern updates
#28
brendanzab
closed
6 years ago
0
Fix patterns and add example of pattern matching
#27
brendanzab
closed
6 years ago
0
WIP: Use property testing
#26
brendanzab
opened
6 years ago
0
Workaround silent ignores of cargo features
#25
brendanzab
closed
6 years ago
1
Add impls for codespan types as a feature
#24
brendanzab
closed
6 years ago
0
Add rustc version to .travis.yml
#23
brendanzab
closed
6 years ago
0
Support other styles of name binding
#22
brendanzab
opened
6 years ago
1
Store max-bound variable in terms
#21
brendanzab
opened
6 years ago
1
Remove default method impls for BoundTerm
#20
brendanzab
closed
6 years ago
0
Implement examples based on 'Let Arguments Go First'
#19
brendanzab
opened
6 years ago
1
Add some missing pattern impls
#18
brendanzab
closed
6 years ago
0
Use wrapper types in examples
#17
brendanzab
closed
6 years ago
0
Implement pattern matching in STLC examples
#16
brendanzab
closed
6 years ago
3
Add example of implementing isorecursive types
#15
brendanzab
closed
6 years ago
0
Add example demonstrating records and variants
#14
brendanzab
closed
6 years ago
0
Update documentation to match API updates
#13
brendanzab
closed
6 years ago
0
Parameterise types by identifier type
#12
brendanzab
closed
6 years ago
0
Add a Subst trait
#11
brendanzab
opened
6 years ago
0
Cache free variables in scopes
#10
brendanzab
opened
6 years ago
0
Add an example of type checking recursive types and recursive functions
#9
brendanzab
closed
6 years ago
0
Suppport multiple identifier namespaces
#8
brendanzab
opened
6 years ago
0
Add a Gitter chat badge to README.md
#7
gitter-badger
closed
6 years ago
0
Implement an example of general recursion
#6
brendanzab
closed
6 years ago
1
Implment an example of general recursion
#5
brendanzab
closed
6 years ago
0
Publish v0.1 on Crates.io
#4
brendanzab
closed
6 years ago
0
Allow for the customization of the underlying String type for free names
#3
brendanzab
closed
6 years ago
0
Rec pattern type
#2
brendanzab
closed
6 years ago
1
Rebind pattern type
#1
brendanzab
closed
6 years ago
0
Previous