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 @mn200
binghe authored and mn200 committed Jan 6, 2025
1 parent 2f4f33a commit da2d9a2
Show file tree
Hide file tree
Showing 3 changed files with 384 additions and 419 deletions.
Loading

0 comments on commit da2d9a2

Please sign in to comment.