Outer Web | Explore

Explore >> Select a destination

You are here		nikhilism.com Using type-classes to model the expressivity of build systems - Nikhil's blog
\|	\|	blog.scottnonnenberg.com What's a Monad? Digging into Haskell \| Scott Nonnenberg	10.5 parsecs away Travel
\|	\|	My functional journey started with Javascript techniques, grew as I briefly explored a few functional languages, then bloomed as I got comfortable with Elixir. Going further has finally defined...	10.5 parsecs away Travel
\|	\|	argumatronic.com argumatronic - The Nesting Instinct	10.6 parsecs away Travel
\|	\|	Occasional writings about Haskell.	10.6 parsecs away Travel
\|	\|	www.haskellforall.com Haskell for all: GADTs	12.2 parsecs away Travel
\|	\|	Prelude Some time ago I asked a question on /r/haskell about what unique purpose GADTs served that other language features could not prov...	12.2 parsecs away Travel
\|	\|	unstableontology.com Understanding Gödel's completeness theorem - Unstable Ontology	117.8 parsecs away Travel
\|		(note: some readers may find the LaTeX more readable on LessWrong.) In this post I prove a variant of Gödel's completeness theorem. My intention has been to really understand the theorem, so that I am not simply shuffling symbols around, but am actually understanding why it is true. I hope it is helpful for at...	117.8 parsecs away Travel