evertedsphere/sound-and-complete evertedsphere/sound-and-complete

  • This repository has been archived on 03/Nov/2021
  • Stars
    star
    83
  • Rank 380,671 (Top 8 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
evertedsphere/sound-and-complete
github

evertedsphere

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

More Repositories

1

silica

optics for Haskell with the most amazing type errors you've seen
Haskell
242
star
2

rien

Predictable Haskell development environments with Cabal and Nix.
Nix
64
star
3

how-to-implement-dependent-type-theory

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
Haskell
37
star
4

shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste
Haskell
30
star
5

noether

Highly polymorphic algebraic structures with custom deriving strategies
Haskell
30
star
6

preposterous

An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
Haskell
16
star
7

suzuri

Rust
5
star
8

maschinen

nixops configs for systems i control
Nix
3
star
9

.doom.d

exwm on doom emacs (mostly stolen from @jethrokuan)
Emacs Lisp
2
star