Skip to content

Activity

Showing most recent first

api: return usize from Term::max_depth

ljedrzcreated feat/4.0 • 1427bc8 • 
on Jul 23, 2024

fix: printing Var(27) and beyond overflowed ASCII (#55)

Pull request merge
ljedrzpushed 1 commit to master • 7a24943…c961a86 • 
on Jul 23, 2024

release: bump version to 3.3.0

ljedrzpushed 1 commit to master • 971f18f…7a24943 • 
on May 30, 2024

Term::has_free_variables: check if an expression has free variables (…

Pull request merge
ljedrzpushed 1 commit to master • 221c85c…971f18f • 
on May 30, 2024

Term::is_isomorphic_to: A function to determine if two term objects…

Pull request merge
ljedrzpushed 1 commit to master • ef56824…221c85c • 
on May 29, 2024

fix: tokenize alphanumeric strings correctly (#52)

Pull request merge
ljedrzpushed 1 commit to master • 78f5e75…ef56824 • 
on May 27, 2024

clippy: fix a new lint

ljedrzpushed 1 commit to master • 0a613d8…78f5e75 • 
on May 27, 2024

release: bump version to 3.2.2

ljedrzpushed 1 commit to master • 14fad22…0a613d8 • 
on Sep 20, 2023

Merge pull request #51 from hiratara/free-variable-context

Pull request merge
ljedrzpushed 5 commits to master • 104ceab…14fad22 • 
on Sep 20, 2023

release: bump version to 3.2.1

ljedrzpushed 1 commit to master • dfcf4e7…104ceab • 
on Aug 17, 2023

Merge pull request #50 from hiratara/fix-free-vars

Pull request merge
ljedrzpushed 5 commits to master • a369ffd…dfcf4e7 • 
on Aug 17, 2023

chore: fix formatting in CHANGELOG

ljedrzpushed 1 commit to master • 32bc08f…a369ffd • 
on Aug 5, 2023

release: bump version to 3.2.0

ljedrzpushed 1 commit to master • 5791e67…32bc08f • 
on Aug 5, 2023

Merge pull request #49 from hiratara/support-anyhow

Pull request merge
ljedrzpushed 5 commits to master • ebd9d68…5791e67 • 
on Aug 5, 2023

docs: remove an outdated README section

ljedrzpushed 1 commit to master • 4fd21b1…ebd9d68 • 
on Apr 30, 2023

chore: tweak the TOML

ljedrzpushed 2 commits to master • 8ca6513…4fd21b1 • 
on Apr 30, 2023