evertedsphere/sound-and-complete

This repository has been archived on 03/Nov/2021
Stars
84
Rank 389,211 (Top 8 %)
Language
Haskell
License
GNU General Publi...
Created about 7 years ago
Updated almost 7 years ago

evertedsphere/sound-and-complete

evertedsphere

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

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

silica

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

rien

Predictable Haskell development environments with Cabal and Nix.

how-to-implement-dependent-type-theory

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

shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste

noether

Highly polymorphic algebraic structures with custom deriving strategies

preposterous

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

suzuri

maschinen

nixops configs for systems i control

.doom.d

exwm on doom emacs (mostly stolen from @jethrokuan)