PrototypeCommon
mmirman/caledon
higher order dependently typed logic programing
- Owner
- mmirman (personal account)
- Stars
- Stars: 174
- Forks
- Forks: 9
- Language
- Haskell
- License
- None
- Created
- 2012
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by mmirman
All 3 repos by mmirman- mmirman/MentisOculiStars: 245PythonPrototype
- mmirman/conpigStars: 108PythonPrototype
Nearby in Haskell
All Haskell repos- purescript/pursuitStars: 174HaskellPrototype
- passy/android-lint-summaryStars: 174HaskellPrototype
- haskell-streaming/streamingStars: 174HaskellPrototype