gridaphobe/mingw-ocaml
OCaml cross-compiler based on mingw
Structured editing minor mode for Haskell in Emacs
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
OCaml cross-compiler based on mingw
A Dependently Typed Functional Programming Language
Nix, the purely functional package manager
Writing and calling ACL2 from Haskell.