nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 67ee24f 3f2d3ff)
Merge: nitcc: add prefixes
authorJean Privat <jean@pryen.org>
Thu, 23 Jun 2016 20:21:48 +0000 (16:21 -0400)
committerJean Privat <jean@pryen.org>
Thu, 23 Jun 2016 20:21:48 +0000 (16:21 -0400)
This add the `Prefixes` operator that returns the set of all prefixes of a regular language.
This also fixes some bugs.

Pull-Request: #2195


Trivial merge
Nit language project; an oo programing language and its tool suite.