setoidtt
setoidtt copied to clipboard
Published
5 years ago
•
AndrasKovacs
AndrasKovacs
Prototype implementations of systems based on setoid type theory
Results
1
setoidtt issues
Sort by
recently updated
recently updated
newest added
Hi! I've noticed this blazingly fast Haskell parsing library in this repository, and I'm eager to use it in my other Haskell projects! Are there any plans in releasing this...
Metadata
65
Stars
1
Forks
65
Watchers
Owner
Metadata
Prototype implementations of systems based on setoid type theory