Bidirectional
Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
Install / Use
/learn @takeoutweight/BidirectionalREADME
bidirectional
Explorations and Adventures in implementing "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" in Clojure.
http://www.cs.cmu.edu/~joshuad/papers/bidir/
Based off of the Haskell implementation by Olle Fredriksson
https://github.com/ollef/Bidirectional
Copyright © 2015 Nathan Sorenson
Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.
Related Skills
node-connect
338.0kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
83.4kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
338.0kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
commit-push-pr
83.4kCommit, push, and open a PR
