package sifun

  1. Overview
  2. Docs
Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher Rank Polymorphism)

Install

github.com Readme gpl-3.0 License Edit opam file

Authors

  1. K
    Krzysztof Druciarek <kkd26@cam.ac.uk>

Maintainers

  1. K
    Krzysztof Druciarek <kkd26@cam.ac.uk>

Sources

3.0.0.tar.gz
md5=0314c1c1b0922e47ec33b040b16b87bb
sha512=357ded7e85079a24a45daf390bcead56ff5d4e62676759973452abb648cddcb684f3dfa48317c0a4233520981c81a0542b58250aeef84871c0381cb7514dc35b

Description

Published: 03 May 2022

Dependencies (3)

  1. menhir >= "20180523"
  2. dune >= "2.9"
  3. ocaml >= "4.06"

Dev Dependencies (3)

  1. bisect_ppx with-test & >= "2.5.0"
  2. ounit2 with-test
  3. odoc with-doc

Used by

None

Conflicts

None