Commit graph

Select branches

Hide pull requests

ope

qpoly

𝕎

🎋

🐉

🥚🛁

#12

#19

#25

#28

#29

#30

#35

#36

#39

#40

#42

#43

#44

#47

Mono Color

• a5b07672ae renaming etc in closure stuff rhiannon morris 2021-09-25 20:14:13 +02:00
• eae97a7b9d reorder clauses in Subst.(.) rhiannon morris 2021-09-25 20:13:51 +02:00
• cdcd926347 improve error interfaces rhiannon morris 2021-09-25 20:13:13 +02:00
• 36b3479c8d more context stuff rhiannon morris 2021-09-25 20:11:29 +02:00
• f87950915d add more bib entries rhiannon morris 2021-09-25 20:10:30 +02:00
• 83ad802f6e add fancy error monad rhiannon morris 2021-09-20 09:32:02 +02:00
• 4da8aa6031 start of eval module but not really rhiannon morris 2021-09-09 23:56:29 +02:00
• e0bf8fa795 add context stuff rhiannon morris 2021-09-09 23:56:10 +02:00
• 3f11530336 rename isCloX to topCloX rhiannon morris 2021-09-09 23:55:49 +02:00
• 4a2f7e1497 add CanSubst Var (Term/Elim) rhiannon morris 2021-09-09 23:55:30 +02:00
• 8c675d01d5 make (//) lazier rhiannon morris 2021-09-09 23:54:18 +02:00
• b29c56e0ae fixup! fix import in main rhiannon morris 2021-09-09 23:53:37 +02:00
• a2be5a468d add CanShift interface like CanSubst rhiannon morris 2021-09-09 23:53:00 +02:00
• b29b7855a2 make IsQty interface rhiannon morris 2021-09-09 23:51:45 +02:00
• b47ef502f3 inline rhiannon morris 2021-09-09 23:51:29 +02:00
• b29fd538e4 fix import in main rhiannon morris 2021-09-09 23:51:00 +02:00
• 5baade8dd5 Many => Any rhiannon morris 2021-09-03 17:56:04 +02:00
• 6da33625f8 remove an (.int). no one likes ints rhiannon morris 2021-09-03 17:54:52 +02:00
• 6c05a348d5 formatting fixes & tweaks rhiannon morris 2021-09-03 17:10:50 +02:00
• d41ab0897c remove some public exports that probably aren't needed rhiannon morris 2021-09-03 17:10:20 +02:00
• 06e5c09896 remove old file i forgot about rhiannon morris 2021-09-03 16:38:26 +02:00
• 45150c2a3b remove zeroes on types rhiannon morris 2021-09-03 16:34:57 +02:00
• e03b4a4286 give some subterms better names rhiannon morris 2021-09-03 16:32:22 +02:00
• bc1aa21f09 use dots for record fields rhiannon morris 2021-09-03 16:31:53 +02:00
• 9fb4ad6657 add link to modal-mltt implementation rhiannon morris 2021-09-03 15:00:54 +02:00
• f592e2e3dc add parameters block a constraint rhiannon morris 2021-09-03 15:00:43 +02:00
• 3c411aca83 replace Pretty.M with a MonadReader constraint rhiannon morris 2021-09-03 15:00:16 +02:00
• e1c22b664c some syntax stuff rhiannon morris 2021-07-20 22:05:19 +02:00
• aff0748d82 add bib rhiannon morris 2021-06-21 22:15:35 +02:00
• d4ad899b2e first rhiannon morris 2021-07-07 13:11:39 +02:00