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

2.0.0.tar.gz
md5=917073b0bdef96867cbdddca76bf6053
sha512=2ea83202fb4335d9417b40fe870e0f8a815f1cadf83d70c1df0a9dff458312a40910415e74dd5454c9c1096392ac8addae532cdda53ac560dfeedae16af0acb1

Description

Published: 08 Mar 2022

Dependencies (4)

  1. menhir >= "20180523"
  2. dune >= "2.9"
  3. core >= "v0.11.3" & < "v0.15"
  4. ocaml >= "4.06"

Dev Dependencies (2)

  1. ounit2 with-test
  2. odoc with-doc

Used by

    None

Conflicts

    None