PrototypeCommon
jozefg/higher-order-unification
A small implementation of higher-order unification
- Owner
- jozefg (personal account)
- Stars
- Stars: 198
- Forks
- Forks: 6
- Language
- Haskell
- License
- MIT
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by jozefg
All 5 repos by jozefg- jozefg/learn-ttStars: 2,512RC
- jozefg/nbe-for-mlttStars: 138OCamlPrototype
- jozefg/pcfStars: 126HaskellPrototype
- jozefg/blottStars: 123OCamlPrototype
Nearby in Haskell
All Haskell repos- derekmcloughlin/pearlsStars: 198HaskellPrototype
- haskell/hie-biosStars: 198HaskellPrototype
- chshersh/irisStars: 198HaskellPrototype