Giters

taktoa / liquid-regex

Some experiments with regular expressions and LiquidHaskell

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

regexhaskellliquidhaskellexperimental

This repository is not active

About

Some experiments with regular expressions and LiquidHaskell

regexhaskellliquidhaskellexperimental

License:MIT License

Languages

Language:Haskell 100.0%