emmettng's repositories
all-about-monads
Attempt to port All About Monads to HaskellWiki
Language:HTMLNOASSERTION000
emmettng.github.io
personal page
Language:HaskellBSD-3-Clause000
hExample
hExample
Language:HaskellBSD-3-Clause000
indextree
Arena based tree 🌲 structure by using indices instead of reference counted pointers
Language:RustMIT000
iterm-fish-fisher-osx
Complete guide and Bash script to install Command Line Tools + Homebrew + iTerm2 + Fish Shell + Fisher + Plugins for development purposes
learnHaskell
This repository contains all examples and learning summary
logic-and-type
This document contains note about logic (formal and informal) , type inference , function dependencies (haskell)
000
LP
logic programming exercises
Language:HaskellBSD-3-Clause000
martin-lof
papers of Per Martin Löf
000
mastering-haskell
The slides for my Packt course, "Mastering Haskell".
Language:Shell000
materials-2020sp
Course Materials for CS 3110 Spring 2020
000
Language:HaskellBSD-3-Clause000
neovimConfig
this is my neovimConfig
Language:Vim script000
nix-home
Nix Home Manager
000
Language:Haskell000
Language:Python000
000
tiny-scheduler
no-brainer job scheduler for haskell
Language:HaskellBSD-3-Clause000
z.yya.simple
Simple demo of yya network
000