DimaSamoz/agda-soas DimaSamoz/agda-soas

  • Stars
    star
    46
  • Rank 613,923 (Top 13 %)
  • Language Agda
  • License
    MIT License
  • Created over 3 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DimaSamoz/agda-soas
github

DimaSamoz

Reviews

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

Repository Details

Agda formalisation of second-order abstract syntax

More Repositories

1

mezzo

A Haskell library for typesafe music composition
Haskell
344
star
2

temporal-type-systems

Formalisation of a temporal type system in Agda
Agda
4
star
3

mastermind

A simple Haskell implementation of the Mastermind game
Haskell
2
star
4

thodo

A simple command-line to-do list tool
Haskell
2
star