Simply Typed Lambda Calculus in Elm

Hi folks !

During the Elm 0.19 alpha-beta period, I figured I’d try to get more familiar with the new elm/parser library by porting a simple implementation of simply typed lambda calculus to Elm.

It is largely based on some chapters of the book Write You A Haskell by Stephen Diehl.

You can find this little project of mine here.

The implementation currently uses ports to communicate between the elm Platform.worker and the node repl API.

This is very much a work in progress. This project is mainly for learning purposes and any and all feedback is very welcome !

Thanks :slight_smile:

4 Likes

This topic was automatically closed 10 days after the last reply. New replies are no longer allowed.