- Notifications
You must be signed in to change notification settings - Fork1
vrnithinkumar/ETC
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Erlang Type Checker Prototype Based onBidirectional Typechecking.
Based on the paper"Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" by Jana Dunfield and Neel Krishnaswami.
Based on and extendedNachi'sETC
# Installationgit clone https://github.com/vrnithinkumar/ETC.gitrebar3 escriptize# Simple usage evaluation example./etc hello.erl# Partial evaluation + Type Inference example./etc +pe hello_pe.erl# To see the result of code generated by partial evaluation ./etc +pe -P hello_pe.erl #produces hello_pe.P file# (only) partial evaluation example./etc +pe +noti -P hello_pe.erlcd ./testsuitsbash run.shAdd the plugin to your rebar config:
{plugins, [ {etc_plug, {git, "https://github.com/vrnithinkumar/ETC.git", {branch, "master"}}}]}.Then just call your plugin directly in an existing application:
$ rebar3 etc_plug===> Fetching etc_plug===> Compiling etc_plug<Plugin Output>Update the plugin:
rebar3 plugins upgrade etc_plugAbout
ETC
Resources
License
Uh oh!
There was an error while loading.Please reload this page.
Stars
Watchers
Forks
Releases
No releases published
Packages0
No packages published