Julien Tournay jto

## Main.idr
module Main

%default total

data Format
  = FInt -- %d
  | FString -- %s
  | FOther Char -- [a-zA-Z0-9]

format : List Char -> List Format

## tmux-cheatsheet.markdown

      
              1 file
            
          
              3266 forks
            
          
              181 comments
            
          
              14374 stars
            
          
                MohamedAlaa
                / tmux-cheatsheet.markdown
            
            
              Last active
              July 23, 2024 05:34
            
              
                tmux shortcuts & cheatsheet
              
          
    tmux shortcuts & cheatsheet

start new:
tmux

start new with session name:
tmux new -s myname


## haskellfib.hs
fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
	module Main

	%default total

	data Format
	= FInt -- %d
	\| FString -- %s
	\| FOther Char -- [a-zA-Z0-9]

	format : List Char -> List Format