Parametrize Result monad

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Closed hackedy closed 1 year ago

hackedy commented 1 year ago

@ericthewry

hackedy commented 1 year ago

I'm going to merge this provided the CI builds come back green

ericthewry commented 1 year ago

beautiful