jpaykin/LNLHaskell

Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic

语言：Haskell · GitHub 星标：35 · Fork：2

在 GitHub 上查看原仓库