Idris2/libs
Edwin Brady e1dbcad2fc Make a start on reflection
Don't get too excited yet - I want this in so that it doesn't get too
out of sync, but I still have to think about exactly how it's going to
work in practice.
2020-05-29 22:40:29 +01:00
..
base Make a start on reflection 2020-05-29 22:40:29 +01:00
contrib Let DocComments trough from Lexer to Parser 2020-05-29 10:37:04 +01:00
network Move network support to libidris2_support 2020-05-23 15:52:33 +01:00
prelude Merge pull request #196 from edwinb/with-experiment 2020-05-29 17:01:41 +01:00