Phil Nguyen philnguyen

## introrx.md

      
              7 files
            
          
              2514 forks
            
          
              472 comments
            
          
              21946 stars
            
          
                staltz
                / introrx.md
            
            
              Last active
              July 22, 2024 09:31
            
              
                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.


## cases.lean
inductive foo
| mk1 : nat → nat → foo
| mk2 : nat → bool → foo

example (a : foo) : nat :=
begin
  /- All new hypotheses are named 'a' -/
  cases a
end

## pixelbook-dev-setup.md

      
              1 file
            
          
              13 forks
            
          
              6 comments
            
          
              107 stars
            
          
                cassiozen
                / pixelbook-dev-setup.md
            
            
              Last active
              October 22, 2023 12:06
                — forked from denolfe/pixelbook-linux-setup.md
            
              
                Notes on setting up Pixelbook for development
              
          
    Pixelbook Setup

Change your channel

Some of the features mentioned in this document only work on the beta or Dev channel. To change your channel:

chrome://help in a browser window
Click Detailed Build Information
Change Channel
Select Beta (Or Dev, if you're feeling adventurous)
	inductive foo
	\| mk1 : nat → nat → foo
	\| mk2 : nat → bool → foo

	example (a : foo) : nat :=
	begin
	/- All new hypotheses are named 'a' -/
	cases a
	end