polyhorn-macros 0.4.0

Macros and parser for Polyhorn JSX-like syntax.
Documentation
1
2
3
4
5
6
mod poly_impl;

#[proc_macro]
pub fn poly(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
    poly_impl::poly(input)
}