search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.58k stars 481 forks source link

Update all Flake Inputs & Add texliveFull to the devShell #6588

Closed zeme-wana closed 1 month ago