Name Last modified Size Description
Parent Directory - parse.k 2024-01-11 14:18 4.5K tf.k 2023-09-14 09:06 10K gl.k 2023-09-13 11:47 36K tableaux.txt 2023-03-28 15:39 136 unify.k 2023-03-28 15:39 692 trees.k 2023-03-27 13:10 758 display.k 2023-03-27 13:01 1.5K general.k 2023-03-26 13:48 2.2K binary.k 2023-03-26 13:48 2.8K boxtree.k 2023-03-26 13:48 240