asr/streams
Haskell 2010 stream comonads
Developer Profile
asr
Discovered public repositories for asr in the GitHub catalog.
asr/cabal-issue-223
Public repository.
asr/pract-inv
Public repository.
asr/agda2atp
The agda2atp program was renamed Apia.
asr/fotc
Agda formalisation of FOTC (First-Order Theory of Combinators).
asr/s-email
Public repository.
asr/RegExpr
Another regular expression system is created
asr/AFL
Public repository.
asr/Automata
Public repository.
asr/ltc-plpv-2009
This repository is obsolete. See the fotc repository instead.
asr/dtfl
Agda code for the course 'Dependently Tped Functional Languages - 2011-1'