Commit Graph

Select branches

Hide Pull Requests

main

#1

#2

#3

#4

#5

#6

Mono Color

• 32c71e65e5 Remove unnecessary dependency (#6) main Patrick Stevens 2024-05-31 10:14:48 +01:00
• 995c3efe4e Update Fantomas (#5) Patrick Stevens 2023-06-17 19:41:15 +01:00
• 7dd8f0dce4 Update to Fantomas 4.6 stable (#4) Florian Verdonck 2022-01-24 11:56:39 +01:00
• 912d9cd5d2 Re-add commented test Smaug123 2022-01-02 16:22:04 +00:00
• a806a9a78d Add custom unification (#3) Patrick Stevens 2022-01-02 16:19:51 +00:00
• 42aa28fd4f Omit some reflection when we're in untyped land already Smaug123 2021-12-28 12:08:30 +00:00
• 09eab8ab3f Delete TestTypedMatch, curse you Rider Smaug123 2021-12-26 22:59:31 +00:00
• dc9c54fdf2 Add a specific type for names (#2) Patrick Stevens 2021-12-26 22:58:03 +00:00
• 6ed2d2260e Add nicer printing for goals Smaug123 2021-12-26 22:54:50 +00:00
• 3a68c25ae0 Add Goal.all and Goal.any Smaug123 2021-12-26 22:53:37 +00:00
• 1c140469bd Update README Smaug123 2021-12-26 17:08:49 +00:00
• d6b6ad915e Add a reifier Smaug123 2021-12-26 16:54:19 +00:00
• b407409584 Split into an untyped core and a typed layer (#1) Patrick Stevens 2021-12-26 16:24:05 +00:00
• c462042dd2 Add symbols Smaug123 2021-12-24 23:45:53 +00:00
• 35b567d181 Type the terms Smaug123 2021-12-24 21:37:27 +00:00
• 200f94b72d Format Smaug123 2021-12-24 20:00:02 +00:00
• dc4ac9d9f1 Make hook executable Smaug123 2021-12-24 19:59:39 +00:00
• ac5fbb9f33 Test adapter Smaug123 2021-12-24 19:58:26 +00:00
• d45b72db01 Test it Smaug123 2021-12-24 19:56:46 +00:00
• b1cb2992db Add license Smaug123 2021-12-24 18:50:25 +00:00
• 2be5effbe2 Add peripheral stuff Smaug123 2021-12-24 18:49:47 +00:00
• 910a75d18e Initial commit Smaug123 2021-12-24 18:44:45 +00:00