?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
more typename fixes
[prop.git] / demos / logic.input
blob71731df4328116ad48e2c479a94e83da6db2297b
1 a -> b -> a
Prop: a C++ based pattern matching language