lamdu/lamdu-calculus lamdu/lamdu-calculus

  • Stars
    star
    19
  • Rank 1,163,040 (Top 23 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 8 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lamdu/lamdu-calculus
github

lamdu

Reviews

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

Repository Details

An extended typed Lambda Calculus

More Repositories

1

lamdu

lamdu - towards the next generation IDE
Haskell
1,840
star
2

hypertypes

Hypertypes - generic programming for heterogeneous recursive types
Haskell
107
star
3

momentu

A purely functional animated GUI framework
Haskell
14
star
4

FreetypeGL

High-level Haskell bindings for the freetype-gl package
Haskell
3
star
5

bindings-freetype-gl

Low-level Haskell bindings for the freetype-gl library
C
2
star
6

nodejs-exec

NodeJS embedded in a Haskell cabal package
Haskell
2
star
7

presentations

Ideas for videos, papers and posts
HTML
1
star
8

lamdu.github.io

Github pages site lamdu.github.io
JavaScript
1
star