bgamari

bgamari

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
77 Stars
15 Forks
77 Watchers

Repositories (2)

ghc-dump bgamari/ghc-dump Haskell

A GHC plugin and library for analysing GHC Core

55
the-thoralf-plugin bgamari/the-thoralf-plugin Haskell

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

22