Vicfred's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
Language:Idris000
digirc
[Nim/Idris] A little IRC bot, just for fun.
Language:IdrisMIT000
Language:Idris000
idris-snippets
Collection of Idris snippets
Language:IdrisMIT000
pandoc
Universal markup converter
Language:HaskellNOASSERTION000