sifunversion

Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher Rank Polymorphism)

AuthorKrzysztof Druciarek <kkd26@cam.ac.uk>
Licensegpl-3.0
Published
Homepagehttps://github.com/kkd26/SiFun
Issue Trackerhttps://github.com/kkd26/SiFun/issues
MaintainerKrzysztof Druciarek <kkd26@cam.ac.uk>
Dependencies
Source [http] https://github.com/kkd26/SiFun/archive/3.0.0.tar.gz
md5=0314c1c1b0922e47ec33b040b16b87bb
sha512=357ded7e85079a24a45daf390bcead56ff5d4e62676759973452abb648cddcb684f3dfa48317c0a4233520981c81a0542b58250aeef84871c0381cb7514dc35b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sifun/sifun.3.0.0/opam
No package is dependent