HWML is an in-development hardware description language equiped with a powerful metaprogramming layer.
meta def option.map {a} {b} (f : ^a -> ^b)) (x : ^(option a)) : ^(option b) =
match x with
| some v => f v
| none => none
-
Notifications
You must be signed in to change notification settings - Fork 0
License
youngar/hwml-rs
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published