Commit Graph

2 Commits

Author SHA1 Message Date
Yohann D'ANELLO 4b4fa67f3b Ensure that functions are well typed 2020-10-02 16:19:18 +02:00
Yohann D'ANELLO 95bb99d42c 🎉 Init repo 2020-10-02 15:48:39 +02:00