fujiy/howard fujiy/howard

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fujiy/howard
github

fujiy

Reviews

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

Repository Details

An experimental dependency typed functional programming language and proof assistant

More Repositories

1

Struere

Structural Editor
Haskell
1
star
2

bertrand

A purely functional, logic programming language (under development)
Haskell
1
star
3

elm-json-convert

Writing JSON encoder and decoder at once in Elm
Elm
1
star
4

CelAnimate_old

Haskell
1
star
5

holonc

Haskell
1
star