From 6ab23435a79f8e95358e1a69ccec58e809420449 Mon Sep 17 00:00:00 2001 From: Aria Date: Tue, 24 Oct 2023 19:34:06 +0100 Subject: chore: update tasks --- Tasks.org | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Tasks.org b/Tasks.org index 3e4c1a3..0abdcb3 100644 --- a/Tasks.org +++ b/Tasks.org @@ -33,9 +33,11 @@ We also need to know where we can find the implementation types, for use in buil This will involve exposing interfaces for the library specifications, candidate generation, and code generation. We can also take this as an opportunity to make it slightly more robust and well-documented, although this is a secondary goal. -** TODO Interface for implementation library +** DOING Interface for implementation library -We should be able to list every implementation available, and its module path. +We can list every implementation available, its module path, the traits it implements, and a bunch of generated racket code. + +Next we should also be able to turn the list of implemented traits into a list of operations. ** TODO Interface for candidate generation -- cgit v1.2.3