txa

The University of NottinghamNottingham, UK

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.5k 65 5.5k359
alex-new
Grant application with Alex
0 3 00
cftlfp
Language:TeX0 2 140
Derivatives
Derivative of quotient containers
Language:Haskell4 2 00
g52ifr
Language:Verilog2 2 00
nuclear
Language:Agda00
OmegaCats
8 5 01
pisigma-0-2-2
Language:Haskell1 1 00
substitution
Substitution for Simply Typed Lambda Calculus
Language:Agda10
TTRes
0 1 00

txa's Repositories

txa/OmegaCats
8 5 01
txa/Derivatives
Derivative of quotient containers
Language:Haskell4 2 00
txa/g52ifr
Language:Verilog2 2 00
txa/pisigma-0-2-2
Language:Haskell1 1 00
txa/substitution
Substitution for Simply Typed Lambda Calculus
Language:Agda10
txa/alex-new
Grant application with Alex
0 3 00
txa/cftlfp
Language:TeX0 2 140
txa/nuclear
Language:Agda00
txa/TTRes
0 1 00