search

willcrichton / tyrade

A pure functional language for type-level programming in Rust
323 stars 13 forks source link

fix inner match in security types example #7

Closed castarco closed 3 years ago

castarco commented 3 years ago

The opened and closed braces don't match in the original example, and it seems there's a missing match keyword.

willcrichton commented 3 years ago

Thank you @castarco!