I don't really know much about this area, but there's a language literally called Lawvere. https://github.com/jameshaydon/lawvere https://github.com/jameshaydo

I don't really know much about this area, but there's a language literally called Lawvere. https://github.com/jameshaydon/lawvere https://github.com/jameshaydon/lawvere