jamesmckinna

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.5k 64 5.5k349
agda-stdlib
The Agda standard library
Language:Agda579 29 1k237
generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Language:Agda69 6 211
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
agda-stdlib
The Agda standard library
Language:Agda00
binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Language:Isabelle4 4 290

jamesmckinna's Repositories

jamesmckinna/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
jamesmckinna/agda-stdlib
The Agda standard library
Language:Agda00