GitHub - AnthonyDario/QRE: An implementation of CRAs in Haskell.

AnthonyDario / QRE Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

An implementation of CRAs in Haskell.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.gitignore		.gitignore
cra.hs		cra.hs
main.hs		main.hs
makefile		makefile
qre.hs		qre.hs
readme.txt		readme.txt

Repository files navigation

An implementation of CRAs in Haskell as described in "Streamable Regular
Transductions" (Alur et al.). Used to execute StreamQREs

## Todo
- Showing CRAs better
    - RegUpdate
    - F
    - I
- Make CRAs run with an infinite stream
    - Stream -> Stream
- Implement StreamQRE -> CRA 
    - Identity function
    - Iter
    - Split
    - Choice