HaroldVemeno/agda-stuff HaroldVemeno/agda-stuff

  • Stars
    star
    1
  • Language Agda
  • License
    GNU General Publi...
  • Created over 2 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HaroldVemeno/agda-stuff
github

HaroldVemeno

Reviews

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

Repository Details

agda stuff

More Repositories

1

rustlambda

A parser and reducer for lambda calculus written in rust
Rust
1
star
2

json2

a haskell project with some json parsers
Haskell
1
star
3

dotfiles

Shell
1
star
4

lambda

Haskell
1
star
5

HaroldVemeno

Config files for my GitHub profile.
1
star