Commit a0afb3c2 authored by POTTIER Francois's avatar POTTIER Francois

Fix two links.

parent 3f453c5c
......@@ -329,7 +329,7 @@ nonempty e = nullable e || exists_char (fun a -> nonempty (delta a e))
The main module of the
[fix](https://gitlab.inria.fr/fpottier/fix/)
library, named
[Fix](https://gitlab.inria.fr/fpottier/fix/src/Core.mli),
[Fix](https://gitlab.inria.fr/fpottier/fix/blob/master/src/Core.mli),
is an algorithm for computing a least fixed point of type
`variable -> property`,
where the type `property` forms a lattice.
......@@ -523,4 +523,4 @@ automata by Brzozowski's method is a good illustration of their application.
For more details,
please look at the
[full source code for this demo](https://gitlab.inria.fr/fpottier/fix/demos/brz/).
[full source code for this demo](https://gitlab.inria.fr/fpottier/fix/blob/master/demos/brz/).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment