Index of /data/main/w/why/2.34-2/examples/misc

• Parent Directory
• Makefile
• arith.mlw
• arith_why.sx
• arith_why.v
• copy_why.sx
• copy_why.v
• csearch_why.sx
• csearch_why.v
• fib.mlw
• fib_why.sx
• fib_why.v
• flag.mlw
• flag_ax.mlw
• flag_ax_why.sx
• flag_ax_why.v
• flag_why.sx
• flag_why.v
• gcd.mlw
• gcd_why.sx
• gcd_why.v
• loop0.mlw
• loop0_why.sx
• loop0_why.v
• mac_carthy.mlw
• mac_carthy_why.sx
• mac_carthy_why.v
• matrix.why
• matrix_mult.why
• matrix_why.v
• max.mlw
• max_why.sx
• max_why.v
• mix_max.mlw
• peano.mlw
• peano_why.sx
• peano_why.v
• power.mlw
• power_why.sx
• power_why.v
• search.mlw
• search_why.sx
• search_why.v
• sqrt_dicho.mlw
• sqrt_dicho_why.sx
• sqrt_dicho_why.v
• sum.mlw
• sum_why.sx
• sum_why.v
• swap0.mlw
• swap0_why.sx
• swap0_why.v