Remove lambda domains#274

Open

gabriel-barrett wants to merge 6 commits intomainfrom

gb/remove-lambda-dom

Commits on Mar 27, 2023

Removed domain field from lambdas
gabriel-barrett
committed

Commits on Mar 28, 2023

Merge branch 'main' of github.com:lurk-lab/yatima into gb/remove-lambda-dom
gabriel-barrett
committed

Commits on Mar 29, 2023

Added a `type` field to recursor rule
gabriel-barrett
committed

Commits on Mar 31, 2023