dpl0a

圏論弟子

Pinned Repositories

agda-categories
A new Categories library for Agda
Language:Agda00
bibtex-references
Language:TeX0 0 00
dpl0a.github.io
Language:HTML01
maths-dictionary
multilingual dictionary of mathematical terminology
Language:JavaScript00
moirai
Language:TeX00
open-game-engine
Haskell implementation of open games
Language:Haskell00
optics-resources
Resources for the aspiring optician
00
plfa.github.io
An introduction to programming language theory in Agda
Language:HTML00
tallcat-fp-2021
Language:Idris01
xmonad-setup
my setup files for xmonad
Language:Haskell10

dpl0a's Repositories

dpl0a/xmonad-setup
my setup files for xmonad
Language:Haskell10
dpl0a/agda-categories
A new Categories library for Agda
Language:Agda00
dpl0a/bibtex-references
Language:TeX0 0 00
dpl0a/dpl0a.github.io
Language:HTML01
dpl0a/maths-dictionary
multilingual dictionary of mathematical terminology
Language:JavaScript00
dpl0a/moirai
Language:TeX00
dpl0a/open-game-engine
Haskell implementation of open games
Language:Haskell00
dpl0a/optics-resources
Resources for the aspiring optician
00
dpl0a/plfa.github.io
An introduction to programming language theory in Agda
Language:HTML00
dpl0a/tallcat-fp-2021
Language:Idris01
dpl0a/testWiFi
Language:C00
dpl0a/type-aliasing-bug
Language:Rust0 1 00
dpl0a/yoneda-in-tongues
Yoneda lemma in every known language
Language:TeX