Add tags

Add tags to the following comment

#4465も対処済み。

1
2
3
4
5
6
7
8
fun ls x y =
let
  fun uniq l = foldr (fn (b, a) => b :: List.filter (fn x => x <> b) a) [] l

  val p = y ^ (if String.isSuffix "/" y then "" else "/")
in
  (uniq o map (subst "/.*" "/" o subst p "") o List.filter (String.isPrefix p)) x
end

Add tags

The input will be splited to tags with space.

Index

Feed

Other

Link

Pathtraq

loading...