jpaykin/LNLHaskell
Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
HaskellBSD-3-Clause
Stargazers
- 23Skidoo@primait
- a-nikolaev
- amirDublin, Ireland
- bracevacWorking on Scala @ EPFL
- caleb-allenAsearis Data Systems, Inc
- chessai
- ChobbesPhiladelphia
- dmjioAustin, TX
- elizabethsiegleCloudflare
- hengchu
- hungshihhan
- igrepInternet Initiative Japan Inc.
- jcolemangChicago
- jeslyvargheseStorytel
- joom@Bloomberg
- KholdStareToronto, Canada
- langston-barrett@GaloisInc
- lotz84FOLIO
- macalinao@shipcap
- mgrabovskyFakta o klimatu
- mmuljimMedia Consulting Services
- mrkgnao
- NicklasBotoChalmers University of Technology
- nomicfluxMilwaukee, WI
- PatrickgHayesCalifornia
- plaidfinch@starlingcyber
- potan
- rintciusGroningen, The Netherlands
- rnrandUniversity of Maryland
- shaobo-he
- superfuncYoyogi Games
- themattchan@awakesecurity
- tkersey@thisisartium
- wilcoxjayUniversity of Washington
- XujieSiUniversity of Toronto