Dead links to fredokun - Githubissues

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

http://latte-central.github.io/LaTTe/

MIT License

256 stars 13 forks source link

Closed ClashTheBunny closed 7 years ago

ClashTheBunny commented 7 years ago

Update all fredokun instances to latte-central

fredokun commented 7 years ago

thanks for this