nzl-nott

Pinned Repositories

2014-LFMTP-Paper
2014 LFMTP Paper source code
Language:Agda0 1 00
Agda-reflection-for-semiring-solver
A simple demonstration of the Agda Reflection API
0 1 00
agda-stdlib
The Agda standard library
Language:Agda0 1 00
Articles
Notes and drafts
0 1 00
clojurescript
Clojure to JS compiler
Language:Clojure0 1 00
d3
Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:
Language:JavaScript0 1 00
Globular-Sets
Globular Sets in Agda
10
LC
Language:Haskell1 1 00
nzl-nott.github.io
Language:HTML0 1 00
PhD-of-nzl
The exercises for PhD of nzl
Language:TeX6 5 03

nzl-nott's Repositories

nzl-nott/PhD-of-nzl
The exercises for PhD of nzl
Language:TeX6 5 03
nzl-nott/Globular-Sets
Globular Sets in Agda
10
nzl-nott/LC
Language:Haskell1 1 00
nzl-nott/2014-LFMTP-Paper
2014 LFMTP Paper source code
Language:Agda0 1 00
nzl-nott/Agda-reflection-for-semiring-solver
A simple demonstration of the Agda Reflection API
0 1 00
nzl-nott/agda-stdlib
The Agda standard library
Language:Agda0 1 00
nzl-nott/Articles
Notes and drafts
0 1 00
nzl-nott/clojurescript
Clojure to JS compiler
Language:Clojure0 1 00
nzl-nott/d3
Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:
Language:JavaScript0 1 00
nzl-nott/nzl-nott.github.io
Language:HTML0 1 00