Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ljedrz/lambda_calculus issues and pull requests

#54 - `Term::has_free_variables`: check if an expression has free variables

Pull Request - State: closed - Opened by AgentElement about 1 month ago - 2 comments

#52 - fix: tokenize alphanumeric strings correctly

Pull Request - State: closed - Opened by AgentElement about 1 month ago - 2 comments

#51 - fix the free variable names

Pull Request - State: closed - Opened by hiratara 10 months ago - 1 comment

#50 - [BUG] Fix convert_classic_tokens

Pull Request - State: closed - Opened by hiratara 11 months ago - 5 comments

#49 - Support anyhow crate

Pull Request - State: closed - Opened by hiratara 11 months ago - 1 comment

#48 - docs: add languages to code-blocks in README.

Pull Request - State: closed - Opened by zicklag over 1 year ago

#45 - V3

Pull Request - State: closed - Opened by ljedrz over 5 years ago

#44 - add replicate for pair lists

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

#43 - add drop and drop_while for pair lists

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

#42 - update documentation for pair list length

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

#41 - add conversion functions for Stump-Fu numerals

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

#40 - add lambda-encoded result

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

#39 - add stumpfu::mul, signed::mul, fix signed docs

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

#38 - fully reduce pair and boolean functions

Pull Request - State: closed - Opened by billpmurphy over 6 years ago - 2 comments

#37 - add signed church integers

Pull Request - State: closed - Opened by billpmurphy over 6 years ago - 3 comments

#36 - Succ and pred in Mogensen's binary encoding fail

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

#35 - Add Church-, Scott- and Parigot-encoded list

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

#34 - fix typo in church numeral docs

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

#33 - add Church -> Parigot, StumpFu conversions

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

#32 - add Turing's combinator in CBV form

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

#31 - add church_to_scott function

Pull Request - State: closed - Opened by billpmurphy over 6 years ago - 5 comments

#30 - add is_zero for Scott numerals

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

#29 - add and_then for options

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

#28 - Not all list 2.0 function doctests are compatible with all numeral encodings

Issue - State: closed - Opened by ljedrz over 6 years ago - 7 comments
Labels: enhancement, help wanted

#27 - Encodings 2.0

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

#26 - add map for Church options

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

#25 - Encodings 2.0

Issue - State: closed - Opened by ljedrz over 6 years ago - 3 comments
Labels: enhancement

#24 - add into_church impl for Option<T>

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

#23 - (WIP for 2.0.0) overhaul conversions to Term, refactor compile features

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

#22 - add is_supercombinator to Term

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

#21 - the groundwork for 2.0

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

#20 - add unwrap_or for Church options, add doctest for map_or

Pull Request - State: closed - Opened by billpmurphy over 6 years ago - 4 comments

#19 - 2.0.0 API changes

Issue - State: closed - Opened by billpmurphy over 6 years ago - 11 comments
Labels: enhancement

#18 - Start working on version 2.0

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

#17 - add parigot encoding

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

#16 - add Scott numerals

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

#15 - add curry for Church pairs

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

#14 - add take and take_while for Church lists

Pull Request - State: closed - Opened by billpmurphy over 6 years ago - 2 comments

#13 - remove non-HAP reduction tests

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

#12 - fix docs for zip_with

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

#11 - add outline of Church option type

Pull Request - State: closed - Opened by billpmurphy over 6 years ago - 4 comments

#10 - add zip and zip_with

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

#9 - update the parallel branch

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

#8 - simplify last, add init

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

#7 - add last for Church lists

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

#6 - add is_even and is_odd

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

#5 - Add uncurry, left logical shift, right logical shift

Pull Request - State: closed - Opened by billpmurphy over 6 years ago - 2 comments

#4 - add min and max functions for Church numerals

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

#3 - Make PRETTY_LAMBDA changeable outside the crate

Issue - State: closed - Opened by Michael-F-Bryan about 7 years ago - 3 comments

#2 - add classic notation parser

Pull Request - State: closed - Opened by ljedrz about 7 years ago