Nils Anders Danielsson Nils Anders Danielsson

Tracking 18K commits to 64 open source packages



Repositories

nad/equality
Agda - MIT - Last pushed - 1 stars
See all Nils Anders Danielsson's repositories

Repositories Contributed To

asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
asr/pra
Haskell - Other - Last pushed - 0 stars
asr/my-agda
This isn't the "official" Agda repository. Please don't submit pull request
This repository is no longer available - 0 stars
DNNX/my-agda
Haskell - Other - Last pushed - 0 stars
masondesu/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell - Other - Last pushed - 0 stars - 24 forks
JasonGross/Agda
Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git
Haskell - Other - Updated - 1 stars
See all Nils Anders Danielsson's contributions

Last synced: 2016-12-16 17:04:34 UTC

Login to resync this page