search

jameshaydon / lawvere

A categorical programming language with effects
MIT License
267 stars 5 forks source link

Add shell.nix #3

Closed jkarni closed 3 years ago

jkarni commented 3 years ago

Nevermind, I didn't see #2