Beast code in Giters

Wolfram Kahl's repositories

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION300

A dead simple networked key/value store

Language:HaskellMIT1 10

Grammatical Framework core: compiler, shell & runtimes

Language:HaskellNOASSERTION000