Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
tableaux.txt 2023-03-28 15:39 136
![[ ]](/icons/unknown.gif){kind=icon}
boxtree.k 2023-03-26 13:48 240
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
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