From: Jean Privat <jean@pryen.org>
Date: Thu, 23 Jun 2016 20:21:48 +0000 (-0400)
Subject: Merge: nitcc: add prefixes
X-Git-Url: http://nitlanguage.org

Merge: nitcc: add prefixes

This add the `Prefixes` operator that returns the set of all prefixes of a regular language.
This also fixes some bugs.

Pull-Request: #2195
---

3a7df20fbc02e38ef01e869263b7d2d1cddade13