search

wolfe-pack / wolfe

Wolfe Language and Engine
https://wolfe-pack.github.io/wolfe
Apache License 2.0
135 stars 17 forks source link

Untyped Term Pattern Matching and Construction #16

Closed riedelcastro closed 10 years ago

riedelcastro commented 10 years ago

Done for a subset of terms.