Adam Brouwers-Harries AdamBrouwersHarries

## Main.hs
{-# LANGUAGE GeneralizedNewtypeDeriving #-}

module Language.HigherRank.Main
  ( Expr(..)
  , EVar(..)
  , Type(..)
  , TVar(..)
  , TEVar(..)
  , runInfer
  ) where

## cfp.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              2 stars
            
          
                hcoles
                / cfp.md
            
            
              Last active
              February 29, 2016 09:58
            
              
                Almost functional call for papers
              
          
    Update 29/02/2016
The call is now closed. Thanks to eveyone that submitted
What is this?

This is a lightweight call for speakers for "Almost Functional", a one-off, free, evening event in Edinburgh on the 14th of April.
Please spread this URL far and wide.

  
## introrx.md

      
              7 files
            
          
              2516 forks
            
          
              468 comments
            
          
              21933 stars
            
          
                staltz
                / introrx.md
            
            
              Last active
              June 21, 2024 12:27
            
              
                The introduction to Reactive Programming you've been missing
              
          
    The introduction to Reactive Programming you've been missing

(by @andrestaltz)

This tutorial as a series of videos

If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.


## frontendDevlopmentBookmarks.md

      
              1 file
            
          
              1100 forks
            
          
              124 comments
            
          
              4959 stars
            
          
                dypsilon
                / frontendDevlopmentBookmarks.md
            
            
              Last active
              June 13, 2024 10:59
            
              
                A badass list of frontend development resources I collected over time.
              
          
    Frontend Development

Attention: the list was moved to
https://github.com/dypsilon/frontend-dev-bookmarks
This page is not maintained anymore, please update your bookmarks.


## gadts.rs
/// This type is only every inhabited when S is nominally equivalent to T
pub type Is <S, T> = Is_ <S, T>;

priv struct Is_ <S, T>;

// Construct a proof of the fact that a type is nominally equivalent
// to itself.
pub fn Is <T> () -> Is <T, T> { Is_ }

pub impl <S, T> Is_ <S, T> {
	{-# LANGUAGE GeneralizedNewtypeDeriving #-}

	module Language.HigherRank.Main
	( Expr(..)
	, EVar(..)
	, Type(..)
	, TVar(..)
	, TEVar(..)
	, runInfer
	) where
	/// This type is only every inhabited when S is nominally equivalent to T
	pub type Is <S, T> = Is_ <S, T>;

	priv struct Is_ <S, T>;

	// Construct a proof of the fact that a type is nominally equivalent
	// to itself.
	pub fn Is <T> () -> Is <T, T> { Is_ }

	pub impl <S, T> Is_ <S, T> {