Skip to content

Commit

Permalink
[lambda] remove non-standard is_ready'; move equivalent_def, etc. out…
Browse files Browse the repository at this point in the history 
… of boehmTheory
  • Loading branch information
@binghe
binghe committed Jan 1, 2025
1 parent e903982 commit 8722c0b
Show file tree
Hide file tree
Showing 3 changed files with 384 additions and 419 deletions.
Loading

0 comments on commit 8722c0b

Please sign in to comment.