emmettng
That's the way it works / not because it is better / it's because that is the only way / The way it works defines what it is
Pinned Repositories
aliJarJar
all-about-monads
Attempt to port All About Monads to HaskellWiki
banksimulation
emmettng
personal website
emmettng.github.io
personal page
eris
eris-doc
hExample
hExample
indextree
Arena based tree 🌲 structure by using indices instead of reference counted pointers
iterm-fish-fisher-osx
Complete guide and Bash script to install Command Line Tools + Homebrew + iTerm2 + Fish Shell + Fisher + Plugins for development purposes
emmettng's Repositories
emmettng/aliJarJar
emmettng/all-about-monads
Attempt to port All About Monads to HaskellWiki
emmettng/banksimulation
emmettng/emmettng
personal website
emmettng/emmettng.github.io
personal page
emmettng/eris
emmettng/eris-doc
emmettng/hExample
hExample
emmettng/indextree
Arena based tree 🌲 structure by using indices instead of reference counted pointers
emmettng/iterm-fish-fisher-osx
Complete guide and Bash script to install Command Line Tools + Homebrew + iTerm2 + Fish Shell + Fisher + Plugins for development purposes
emmettng/learnHaskell
This repository contains all examples and learning summary
emmettng/logic-and-type
This document contains note about logic (formal and informal) , type inference , function dependencies (haskell)
emmettng/LP
logic programming exercises
emmettng/martin-lof
papers of Per Martin Löf
emmettng/mastering-haskell
The slides for my Packt course, "Mastering Haskell".
emmettng/materials-2020sp
Course Materials for CS 3110 Spring 2020
emmettng/memeberCheck
emmettng/neovimConfig
this is my neovimConfig
emmettng/nix-home
Nix Home Manager
emmettng/revertExp
emmettng/tensorflow.notes
emmettng/test
emmettng/tiny-scheduler
no-brainer job scheduler for haskell
emmettng/wyah
emmettng/z.yya.simple
Simple demo of yya network