brendanzab/moniker issues and pull requests

#32 - Identifier and parameter cleanups

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#31 - More README updates

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#31 - More README updates

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#30 - Rename PVar to Binder and TVar to Var

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#30 - Rename PVar to Binder and TVar to Var

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#29 - Improve README example

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#29 - Improve README example

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#28 - Pattern updates

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#28 - Pattern updates

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#27 - Fix patterns and add example of pattern matching

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#27 - Fix patterns and add example of pattern matching

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#26 - WIP: Use property testing

Pull Request - State: open - Opened by brendanzab over 6 years ago

#26 - WIP: Use property testing

Pull Request - State: open - Opened by brendanzab over 6 years ago

#25 - Workaround silent ignores of cargo features

Pull Request - State: closed - Opened by brendanzab over 6 years ago - 1 comment

#25 - Workaround silent ignores of cargo features

Pull Request - State: closed - Opened by brendanzab over 6 years ago - 1 comment

#24 - Add impls for codespan types as a feature

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#24 - Add impls for codespan types as a feature

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#23 - Add rustc version to .travis.yml

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#23 - Add rustc version to .travis.yml

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#22 - Support other styles of name binding

Issue - State: open - Opened by brendanzab over 6 years ago - 1 comment
Labels: enhancement, help wanted, performance

#22 - Support other styles of name binding

Issue - State: open - Opened by brendanzab over 6 years ago - 1 comment
Labels: enhancement, help wanted, performance

#21 - Store max-bound variable in terms

Issue - State: open - Opened by brendanzab over 6 years ago - 1 comment
Labels: help wanted, performance

#21 - Store max-bound variable in terms

Issue - State: open - Opened by brendanzab over 6 years ago - 1 comment
Labels: help wanted, performance

#20 - Remove default method impls for BoundTerm

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#20 - Remove default method impls for BoundTerm

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#19 - Implement examples based on 'Let Arguments Go First'

Issue - State: open - Opened by brendanzab over 6 years ago - 1 comment
Labels: help wanted

#19 - Implement examples based on 'Let Arguments Go First'

Issue - State: open - Opened by brendanzab over 6 years ago - 1 comment
Labels: help wanted

#18 - Add some missing pattern impls

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#18 - Add some missing pattern impls

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#17 - Use wrapper types in examples

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#17 - Use wrapper types in examples

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#16 - Implement pattern matching in STLC examples

Issue - State: closed - Opened by brendanzab over 6 years ago - 3 comments

#16 - Implement pattern matching in STLC examples

Issue - State: closed - Opened by brendanzab over 6 years ago - 3 comments

#15 - Add example of implementing isorecursive types

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#15 - Add example of implementing isorecursive types

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#14 - Add example demonstrating records and variants

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#14 - Add example demonstrating records and variants

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#13 - Update documentation to match API updates

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#13 - Update documentation to match API updates

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#12 - Parameterise types by identifier type

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#12 - Parameterise types by identifier type

Pull Request - State: closed - Opened by brendanzab over 6 years ago

#11 - Add a Subst trait

Issue - State: open - Opened by brendanzab over 6 years ago
Labels: enhancement

#11 - Add a Subst trait

Issue - State: open - Opened by brendanzab over 6 years ago
Labels: enhancement

#10 - Cache free variables in scopes

Issue - State: open - Opened by brendanzab over 6 years ago
Labels: help wanted, performance

#10 - Cache free variables in scopes

Issue - State: open - Opened by brendanzab over 6 years ago
Labels: help wanted, performance

#9 - Add an example of type checking recursive types and recursive functions

Issue - State: closed - Opened by brendanzab over 6 years ago

#9 - Add an example of type checking recursive types and recursive functions

Issue - State: closed - Opened by brendanzab over 6 years ago

#8 - Suppport multiple identifier namespaces

Issue - State: open - Opened by brendanzab over 6 years ago
Labels: enhancement

#8 - Suppport multiple identifier namespaces

Issue - State: open - Opened by brendanzab over 6 years ago
Labels: enhancement

#7 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger over 6 years ago

#7 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger over 6 years ago

#6 - Implement an example of general recursion

Pull Request - State: closed - Opened by brendanzab over 6 years ago - 1 comment

#5 - Implment an example of general recursion

Issue - State: closed - Opened by brendanzab over 6 years ago

#5 - Implment an example of general recursion

Issue - State: closed - Opened by brendanzab over 6 years ago

#4 - Publish v0.1 on Crates.io

Issue - State: closed - Opened by brendanzab over 6 years ago

#4 - Publish v0.1 on Crates.io

Issue - State: closed - Opened by brendanzab over 6 years ago

#3 - Allow for the customization of the underlying String type for free names

Issue - State: closed - Opened by brendanzab over 6 years ago

#3 - Allow for the customization of the underlying String type for free names

Issue - State: closed - Opened by brendanzab over 6 years ago

#2 - Rec pattern type

Issue - State: closed - Opened by brendanzab over 6 years ago - 1 comment
Labels: help wanted

#1 - Rebind pattern type

Issue - State: closed - Opened by brendanzab over 6 years ago
Labels: help wanted

#1 - Rebind pattern type

Issue - State: closed - Opened by brendanzab over 6 years ago
Labels: help wanted

GitHub / brendanzab/moniker issues and pull requests