jack-pappas / experimental-functors
An experiment at expressing functors in F# the .NET type system.
☆17Updated 10 years ago
Related projects: ⓘ
- ☆15Updated 9 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆67Updated 5 years ago
- Multi-stage Programming in F#☆12Updated 8 years ago
- A logic programming library for F#☆45Updated 9 years ago
- ☆30Updated 6 years ago
- Collection of Idris snippets☆21Updated 6 months ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆10Updated 10 years ago
- Finger Trees in F#.