jamesmckinna

jamesmckinna

Geek Repo

0

following

0

stars

Github PK Tool:Github PK Tool

jamesmckinna's repositories

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0