Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
boxtree.k 2024-08-09 15:48 240
display.k 2024-08-09 15:48 1.5K
m.k 2024-08-09 15:48 10K
unify.k 2024-08-09 15:48 692
![[TXT]](/icons/text.gif){kind=icon}
fp.txt 2024-08-09 15:48 37K
gl.k 2024-08-09 15:48 36K
tf.k 2024-08-09 15:48 10K
binary.k 2024-08-09 15:48 2.8K
general.k 2024-08-09 15:48 2.2K
trees.k 2024-08-09 15:48 758
parse.k 2024-08-09 15:48 4.5K
tableaux.txt 2024-08-09 15:48 136