Pinned Repositories
Abacus
infinite abacus
Agda-Domains
defining domain models for typed lambda calculi in Agda
Diagrams
Tutorial of diagrams
DPLL
A naive DPLL SAT solver in Haskell
English-Drill
FingerTrees
FingerTrees tutorial
HalogenGuide
Examples of PureScript Halogen
PEG
pappyの論文読む
Polynomial-Calculator
purescript beginning
TuringMachine
Simulating Turing machine, with taking a log of machine and tape's state each step of computation.
MtFuji3776's Repositories
MtFuji3776/Diagrams
Tutorial of diagrams
MtFuji3776/DPLL
A naive DPLL SAT solver in Haskell
MtFuji3776/PEG
pappyの論文読む
MtFuji3776/Polynomial-Calculator
purescript beginning
MtFuji3776/TuringMachine
Simulating Turing machine, with taking a log of machine and tape's state each step of computation.
MtFuji3776/Abacus
infinite abacus
MtFuji3776/Agda-Domains
defining domain models for typed lambda calculi in Agda
MtFuji3776/English-Drill
MtFuji3776/FingerTrees
FingerTrees tutorial
MtFuji3776/HalogenGuide
Examples of PureScript Halogen
MtFuji3776/LAMBDA
Combinators for formal language LAMBDA defined by Dana S. Scott.
MtFuji3776/LaTeXTools
Haskell combinators to assist in writing LaTeX
MtFuji3776/lens
lens-tutorial
MtFuji3776/Polynomials
Polynomial data types for Calculator
MtFuji3776/purescript-halogen
A declarative, type-safe UI library for PureScript.
MtFuji3776/test
Gitの手習
MtFuji3776/TexRun
TexRunnerのutf-8版を自作してみる
MtFuji3776/YesodStudy
yesodデビュー