Examples# Here are some examples built with MoonBit. Contents: Sudoku Solver Squares, Units, and Peers Preprocessing the Grid Search Conclusion Lambda calculus Basic rules of untyped Lambda calculus Free Variables and Variable Capture De Bruijn Index Reduce on TermDBI Improvement G-Machine G-Machine 1 G-Machine 2 G-Machine 3 Myers Diff Myers diff Myers diff 2 Myers diff 3 Segment Tree
