index
:
yellowsquid/inky.git
master
[no description]
Chloe Brown
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Inky
/
Term
Age
Commit message (
Expand
)
Author
2025-03-13
Rewrite for flap v2.0.0.
HEAD
master
Greg Brown
2025-03-13
Modify definition of data types.
Greg Brown
2025-01-07
Add quotation to help metaprogramming.
Greg Brown
2024-11-20
Improve syntactic sugar.
Greg Brown
2024-11-18
Better type errors within lets.
Greg Brown
2024-11-18
Preserve some comments when pretty printing.
Greg Brown
2024-11-15
Add compilation to scheme.
Greg Brown
2024-11-12
Fix bad annotation when desugaring map.
Greg Brown
2024-11-12
Add more names. Names are good.
Greg Brown
2024-11-12
Add ability to desugar terms.
Greg Brown
2024-10-29
Write a fuelled reducer for System T.
Greg Brown
2024-10-29
Print type checking errors.
Greg Brown
2024-10-28
Improve pretty printer.
Greg Brown
2024-10-28
Make everything relevant.
Greg Brown
2024-10-09
Do a lot.
Greg Brown
2024-09-30
Make tags for tuples and cases unique.
Greg Brown
2024-09-20
Get working type pretty printer.
Greg Brown
2024-09-17
Introduce names in contexts.
Greg Brown
2024-09-13
Define pretty printers for terms and types.
Greg Brown
