search

target / theta-idl

Define communication protocols between applications using algebraic data types.
Other
45 stars 9 forks source link

Nix Shell Cleanup #24

Closed TikhonJelvis closed 2 years ago

TikhonJelvis commented 2 years ago

Wrote a dedicated shell.nix for Theta Haskell development, as well as a script to profile compile times for the package.