Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/palladin/Higher

A lightweight library of abstractions for Higher-kinded programming in F#
https://github.com/palladin/Higher

Last synced: 4 months ago
JSON representation

A lightweight library of abstractions for Higher-kinded programming in F#

Host: GitHub
URL: https://github.com/palladin/Higher
Owner: palladin
License: other
Created: 2014-07-28T20:46:21.000Z (over 10 years ago)
Default Branch: master
Last Pushed: 2018-03-02T14:41:12.000Z (almost 7 years ago)
Last Synced: 2024-08-02T12:22:10.731Z (7 months ago)
Language: F#
Size: 161 KB
Stars: 184
Watchers: 18
Forks: 25
Open Issues: 5
Metadata Files:
- Readme: README.md
- License: LICENSE.txt

Awesome Lists containing this project

README

        Higher

======

A lightweight library of abstractions for Higher-kinded programming in F#, based on 

> [Lightweight Higher-Kinded Polymorphism][flops-2014-paper]

>

> Jeremy Yallop and Leo White

>

> Functional and Logic Programming 2014

>

> [OCaml implementation][ocaml-implementation]

[flops-2014-paper]: https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf

[ocaml-implementation]: https://github.com/ocamllabs/higher

## Build Status

Mono | .NET

---- | ----

[![Mono CI Build Status](https://img.shields.io/travis/palladin/Higher/master.svg)](https://travis-ci.org/palladin/Higher) | [![.NET Build Status](https://img.shields.io/appveyor/ci/palladin/Higher/master.svg)](https://ci.appveyor.com/project/palladin/Higher)