search

skiplang / skip

A programming language to skip the things you have already computed
http://skiplang.com
MIT License
1.97k stars 66 forks source link

Remove folly obstack #151

Closed pikatchu closed 4 years ago

pikatchu commented 4 years ago

Rewrote the logging so that it doesn't use folly anymore.