Lobsters
- SK logic in egglog http://www.chriswarbo.net/blog/2024-02-25-sk_logic_in_egglog_1.html 2 comments compsci , formalmethods , haskell , math , show
Related searches:
Search whole site: site:chriswarbo.net
Search title: SK logic in egglog: part 1, encoding and reduction
See how to search.