WolframKahl

McMaster UniversityHamilton, Ontario, Canada

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.5k 65 5.5k359
agda-ghc-names
Tool for making sense of the Haskell code generated by the Agda compiler
Language:Haskell4 30 02
next-700-module-systems
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
Language:HTML81 9 376
MathScheme
Public repository for the MathScheme project
Language:TeX9 8 00
TheoriesAndDataStructures
Showing how some simple mathematical theories naturally give rise to some common data-structures
Language:Agda38 9 72
atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
Language:Haskell16 7 24
thesis
My now-completed Master's thesis.
Language:TeX1 3 00
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell3 1 00
gf-core
Grammatical Framework core: compiler, shell & runtimes
Language:Haskell0 0 00
Neks
A dead simple networked key/value store
Language:Haskell1 1 00

WolframKahl's Repositories

WolframKahl/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell3 1 00
WolframKahl/Neks
A dead simple networked key/value store
Language:Haskell1 1 00
WolframKahl/gf-core
Grammatical Framework core: compiler, shell & runtimes
Language:Haskell0 0 00