JLimperg/docker-agda-stdlib JLimperg/docker-agda-stdlib

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Dockerfile
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JLimperg/docker-agda-stdlib
github

JLimperg

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Docker image with Agda and agda-stdlib

More Repositories

1

cats

Category Theory in Agda. Learning exercise, not for public consumption.
Agda
22
star
2

well-founded-corecursion

An attempt to integrate well-founded recursion into corecursion
Agda
6
star
3

msc-thesis-code

Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same
Agda
5
star
4

opdtab

Tabbing software for OPD debating tournaments
C#
4
star
5

elan-cleanup

A tool for cleaning up unused Lean toolchains
Lean
2
star
6

msc-thesis

A Reflexive Graph Model of Sized Types (M.Sc. thesis)
TeX
1
star